repo.or.cz
/
arxana.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
update talk
2017-09-03
Joe Corneli
upd
a
t
e
t
a
lk
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
update
commit
|
commitdiff
|
tree
2017-09-02
J
o
e Corneli
summary & f
u
ture wo
r
k
commit
|
commitdiff
|
tree
2017-09-02
Jo
e
C
o
rneli
upd
a
t
e
org file
commit
|
commitdiff
|
tree
2017-09-02
Joe
Corneli
upd
a
te images
commit
|
commitdiff
|
tree
2017-09-02
Joe Cor
n
e
l
i
u
p
date co
n
tent
commit
|
commitdiff
|
tree
2017-09-02
Joe
Corneli
add ou
t
line of Scheme talk
commit
|
commitdiff
|
tree
2017-08-28
J
oe
Co
r
ne
l
i
add
verbal co
m
mand to he
a
der
commit
|
commitdiff
|
tree
2017-08-28
Joe
C
o
r
n
e
li
Merg
e
b
ranch
'
mob
'
of git:
/
/rep
o
.
o
r
.
c
z
/arxan
a
into mob
commit
|
commitdiff
|
tree
2017-08-28
J
o
e
Cor
n
e
li
i
ntroduce verbal command
commit
|
commitdiff
|
tree
2017-08-20
Joe Corneli
i
nitia
l
e
xample of a
par
s
er
commit
|
commitdiff
|
tree
2017-08-20
Joe Cor
n
eli
correct typo
i
n a
r
x
a
na-
r
e
set-pl
e
xus
commit
|
commitdiff
|
tree
2017-08-19
J
oe Corneli
slightl
y
chang
e
t
o
do list
commit
|
commitdiff
|
tree
2017-08-05
Joe
C
orn
e
li
Revis
e
this to refl
e
ct curren
t
status
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
move honey-spec
.
org
to
.
/org/
commit
|
commitdiff
|
tree
2017-08-01
Joe C
o
rnel
i
reorganize
T
ODO items
commit
|
commitdiff
|
tree
2017-07-25
Joe Corneli
cha
n
ge
a
dd-nema argument or
d
e
r
in spec
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
starting to work on
d
isplay-d
o
cument
commit
|
commitdiff
|
tree
2017-07-12
Joe Cor
n
eli
some added pa
r
ens in this f
i
le
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
initi
a
l work
i
n
g article
b
r
owser
b
a
s
ed on new
nemas
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
J
oe Corneli
fix paren
commit
|
commitdiff
|
tree
2017-07-11
J
o
e Corneli
whites
p
a
ce
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
M
e
rge br
a
n
c
h
'mo
b
' of git://r
e
p
o
.
o
r
.
cz
/
arxana into mo
b
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
rear
r
ange slightly
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
add
IATC+C
D
repre
s
e
n
tations
commit
|
commitdiff
|
tree
2017-07-10
Joe Cor
n
eli
document
a
tion changes
commit
|
commitdiff
|
tree
2017-07-10
J
o
e Corneli
b
asic working v
e
rsion of get-name
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corne
l
i
initial working definit
i
on
f
or triples-g
i
v
e
n
-be
g
inning etc
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
min
o
r
c
hanges
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fully fi
x
import c
o
de continuation
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Cor
n
e
l
i
fix
import code continuat
i
on
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
i
mportant fix i
n
a
d
d
-n
e
ma - U
p
dat
e
th
e
counter for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
rneli
docum
e
ntatio
n
c
hanges
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
rneli
revise i
t
erator functio
n
s
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corne
l
i
r
e
o
rder filtering functions
,
aj
u
s
t
fil
t
er-plex
u
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
reorder bu
l
k
v
s individual operations
commit
|
commitdiff
|
tree
2017-07-10
Joe Cor
n
eli
call
next-unique-id in add-en-
m
a
s
s
e
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
whitesp
a
ce, n
e
xt-uniq
u
e-id
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
C
o
rneli
begin to re
v
i
s
e tri
p
le acce
s
s func
t
i
o
n
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fi
x
some mi
n
or issues wit
h
import
i
ng
commit
|
commitdiff
|
tree
2017-07-07
Joe Corneli
fi
x
subsecti
o
n
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
chase
through down
c
asing De
f
un
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
fix minor space issue
commit
|
commitdiff
|
tree
2017-07-04
Joe Co
r
neli
some m
o
re edi
t
ing
o
f the merged document, with some
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Joe Cornel
i
quick editin
g
pass to supe
r
f
i
cially
integra
t
e HONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-25
J
os
e
ph Corneli
add p
l
a
c
e
to
work on merge
commit
|
commitdiff
|
tree
2017-06-25
Joseph Corneli
move
b
a
c
kend code
commit
|
commitdiff
|
tree
2017-06-25
Joseph
C
orneli
move arxan
a
backen
d
to separate f
i
l
e
commit
|
commitdiff
|
tree
2017-06-25
J
ose
p
h Cornel
i
fix q
u
ot
i
ng for lambdas, s
e
e
http
s
://stacko
v
e
rflow
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
Joe Co
r
neli
update tas
k
tre
e
commit
|
commitdiff
|
tree
2017-06-12
J
oe Corneli
update from mixed mode
col
l
a
b
s
essio
n
June 12
commit
|
commitdiff
|
tree
2017-06-11
Joe C
o
r
n
e
li
added Futu
r
e W
o
rk from paper and
oth
e
r
small
c
hanges
commit
|
commitdiff
|
tree
2017-06-01
Joe Cornel
i
c
o
mmit
commit
|
commitdiff
|
tree
2017-05-31
Joe Cor
n
eli
new par
a
grap
h
commit
|
commitdiff
|
tree
2017-05-31
J
oe Corneli
comm
e
nt un-useful
commit
|
commitdiff
|
tree
2017-05-31
Joe Co
r
n
e
li
notes f
r
om our conversation
commit
|
commitdiff
|
tree
2017-05-31
Joe
C
orneli
s
ome more
commit
|
commitdiff
|
tree
2017-05-31
J
o
e Corneli
m
i
nor
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some content for
S
ec
t
ion 4
commit
|
commitdiff
|
tree
2017-05-31
Joe Corne
l
i
minor
commit
|
commitdiff
|
tree
2017-05-30
Joe C
o
r
n
eli
c
h
eck
commit
|
commitdiff
|
tree
2017-05-30
J
oe Corne
l
i
smal
l
chang
e
s prep to discussion
commit
|
commitdiff
|
tree
2017-05-30
Joe Corn
e
li
s
o
m
e more clean
u
p of section 3
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
say som
e
th
i
ng about Ganes
a
lingam and Gowers
commit
|
commitdiff
|
tree
2017-05-30
Joe
C
orn
e
li
chase through section
3 draft
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
fix quote
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
one minor fix
commit
|
commitdiff
|
tree
2017-05-29
J
o
e Corn
e
li
c
lean
u
p sectio
n
2, mor
e
referenc
e
s
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
orn
e
li
a
d
d some stuff in my section a
n
d a few corrections
commit
|
commitdiff
|
tree
2017-05-27
Joe C
o
rne
l
i
update
slightly
commit
|
commitdiff
|
tree
2017-05-27
Jo
e
Cor
n
eli
add r
e
vi
s
ed o
u
tline
commit
|
commitdiff
|
tree
2017-05-27
Joe Corn
e
li
add fa
r
m doc
commit
|
commitdiff
|
tree
2017-05-26
Joe Corne
l
i
updat
e
s
cheme submissio
n
commit
|
commitdiff
|
tree
2017-05-25
J
o
e Corneli
a
d
d subbranches
commit
|
commitdiff
|
tree
2017-05-25
Joe C
o
rneli
fix org gra
m
mar
commit
|
commitdiff
|
tree
2017-05-25
Joe
C
ornel
i
add pic
t
ures
commit
|
commitdiff
|
tree
2017-05-22
Joe Corneli
spacing
commit
|
commitdiff
|
tree
2017-05-21
Joe
C
orneli
indent code
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
co
p
y results fro
m
collaborative sessi
o
n May
2
0
commit
|
commitdiff
|
tree
2017-05-20
J
oe
C
orneli
fix typ
o
commit
|
commitdiff
|
tree
2017-05-20
Joe Corneli
so
m
e more
editing
commit
|
commitdiff
|
tree
2017-05-20
Joe Co
r
ne
l
i
some
e
d
i
ti
n
g
commit
|
commitdiff
|
tree
2017-05-16
Joe
C
orn
e
li
a
dd robot exampl
e
commit
|
commitdiff
|
tree
2017-05-16
Joe Corneli
li
n
ks
to non-workin
g
examples
commit
|
commitdiff
|
tree
2017-05-15
Joe Corn
e
l
i
fix typo throughout
commit
|
commitdiff
|
tree
2017-05-15
Joe Cornel
i
fix ty
p
o
commit
|
commitdiff
|
tree
2017-05-15
Joe Corne
l
i
add gowers 2012 example
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
a
dd MPM
e
xa
m
ple
commit
|
commitdiff
|
tree
2017-05-13
Joe Corneli
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corn
e
l
i
m
o
re rea
r
rangements
commit
|
commitdiff
|
tree
2017-05-12
J
oe Co
r
n
eli
more clarificati
o
n
s
commit
|
commitdiff
|
tree
2017-05-12
Joe C
o
rneli
Me
r
g
e
branch 'mob
'
of git
:
//
r
epo
.
or
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-05-12
J
o
e
C
o
rneli
clean up
commit
|
commitdiff
|
tree
2017-05-12
Joe Corn
e
li
add
r
efs
commit
|
commitdiff
|
tree
2017-05-06
Jo
e
Corneli
initial comm
i
t
of org file
commit
|
commitdiff
|
tree
2013-10-12
Joe
Corn
e
li
Re
v
ise
a
rxana
.
org with more structure
.
commit
|
commitdiff
|
tree
2013-10-12
Joe Cor
n
eli
move o
r
g fil
e
t
o
a mo
r
e sensible name
commit
|
commitdiff
|
tree
2013-03-29
Joe
Corneli
Pretty
m
uch complete draft o
f
home
p
age is now d
o
n
e
commit
|
commitdiff
|
tree
2013-03-29
Joe Cor
n
eli
make a more
s
uccinct
REA
D
ME
commit
|
commitdiff
|
tree
2013-03-29
Joe C
o
rneli
Add h
o
ney-de
m
o
.
tex
commit
|
commitdiff
|
tree
next