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
initial (very spare) draft of the FARM talk NOW
2017-09-05
J
o
e Corne
l
i
in
i
tial (very spare) draft
of the FA
R
M talk NOW
commit
|
commitdiff
|
tree
2017-09-05
J
oe Corne
l
i
init
i
al (very spare) draft of the FARM talk
commit
|
commitdiff
|
tree
2017-09-03
Joe Corn
e
li
update t
a
lk
commit
|
commitdiff
|
tree
2017-09-02
Jo
e
Co
r
neli
update
commit
|
commitdiff
|
tree
2017-09-02
J
oe
Corneli
summary & future work
commit
|
commitdiff
|
tree
2017-09-02
Joe Co
r
neli
update org file
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
update images
commit
|
commitdiff
|
tree
2017-09-02
Joe Cornel
i
up
d
ate content
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
add o
u
tli
n
e of
S
cheme talk
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
add ve
r
bal
c
om
m
and to hea
d
er
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
Merge b
r
anch 'mo
b
' of git://repo
.
or
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
i
ntroduce
ve
r
bal command
commit
|
commitdiff
|
tree
2017-08-20
Joe Cor
n
e
li
in
i
tia
l
ex
a
mple of a parser
commit
|
commitdiff
|
tree
2017-08-20
J
o
e Corneli
correct typo i
n
a
r
xana-reset-ple
x
us
commit
|
commitdiff
|
tree
2017-08-19
Joe Corneli
slightly chan
g
e t
o
do li
s
t
commit
|
commitdiff
|
tree
2017-08-05
J
o
e C
o
r
neli
Revise this to ref
l
ect curre
n
t status
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
move honey-spe
c
.
org to
.
/org/
commit
|
commitdiff
|
tree
2017-08-01
J
o
e Cor
n
eli
r
e
o
r
g
a
nize TODO items
commit
|
commitdiff
|
tree
2017-07-25
J
oe Corneli
chang
e
add-nem
a
a
r
gument order in spec
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
startin
g
to wo
r
k
o
n d
i
spl
a
y-
d
ocum
e
nt
commit
|
commitdiff
|
tree
2017-07-12
J
o
e Corne
l
i
some ad
d
e
d
parens in this file
commit
|
commitdiff
|
tree
2017-07-12
Joe Cornel
i
i
n
itial working article browse
r
based on
new ne
m
as
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
fix
p
a
ren
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
whitespace
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
Merge branch '
m
o
b
' of git:/
/
repo
.
or
.
cz/
a
rxan
a
i
n
to mob
commit
|
commitdiff
|
tree
2017-07-11
J
o
e Corneli
re
a
rrange slightly
commit
|
commitdiff
|
tree
2017-07-11
Joe Corne
l
i
ad
d
IA
T
C
+C
D
r
e
p
resen
t
ations
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
n
eli
document
a
tio
n
ch
a
ng
e
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
bas
i
c working v
e
rsion of get-na
m
es
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
initial working definition for triples-given-beginning etc
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
minor changes
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fully fix import c
o
de co
n
tinu
a
t
i
on
commit
|
commitdiff
|
tree
2017-07-10
Joe Corn
e
li
fix import code
continuati
o
n
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
rneli
im
p
ortant fix in add-nema - Update th
e
co
u
nt
e
r for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
J
oe Cor
n
eli
docu
m
en
t
ation chang
e
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corn
e
l
i
rev
i
se iterator functio
n
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
reorder filter
i
ng functions, aj
u
st fi
l
ter-p
l
exus
commit
|
commitdiff
|
tree
2017-07-10
Joe Corn
e
li
r
e
o
r
der b
u
lk
v
s
individual ope
r
ations
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
cal
l
next-unique-
i
d in
a
dd-
e
n
-
masse
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
w
h
itespace
,
nex
t
-u
n
ique-id
commit
|
commitdiff
|
tree
2017-07-10
J
o
e Corneli
b
egin to revise
t
r
iple acces
s
functions
commit
|
commitdiff
|
tree
2017-07-10
J
o
e Corneli
fix some
minor issues with importing
commit
|
commitdiff
|
tree
2017-07-07
Joe Corneli
f
i
x
s
ubsection
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
chase
t
hrou
g
h downcasing Defun
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
Corneli
fix mi
n
or space
issue
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
Corneli
so
m
e m
o
r
e
edit
i
n
g of
t
he m
e
rged document, with some
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
Corneli
quick editing pa
s
s
t
o supe
r
ficial
l
y integrate HONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
Joe Cor
n
e
li
updat
e
t
ask tree
commit
|
commitdiff
|
tree
2017-06-12
Joe Corneli
update from
m
ixed mode collab sessi
o
n June
12
commit
|
commitdiff
|
tree
2017-06-11
Joe Corneli
added Future Work from
p
aper and
o
ther small ch
a
nge
s
commit
|
commitdiff
|
tree
2017-06-01
Joe Corneli
c
o
mmit
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
n
e
w para
g
raph
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
comment un-useful
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
notes from o
u
r conve
r
s
a
tion
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
s
o
me more
commit
|
commitdiff
|
tree
2017-05-31
Joe
Corn
e
li
m
i
n
or
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some content
f
or
S
e
c
tion 4
commit
|
commitdiff
|
tree
2017-05-31
J
o
e C
o
rneli
m
inor
commit
|
commitdiff
|
tree
2017-05-30
Joe
Corne
l
i
check
commit
|
commitdiff
|
tree
2017-05-30
Joe Cor
n
eli
small
c
hanges
p
rep to disc
u
s
sion
commit
|
commitdiff
|
tree
2017-05-30
J
o
e
Corneli
some more clean up of s
e
ction 3
commit
|
commitdiff
|
tree
2017-05-30
Joe Cor
n
eli
say somet
h
ing about Ganesalinga
m
and Go
w
ers
commit
|
commitdiff
|
tree
2017-05-30
J
oe Corneli
chase
t
hrough sectio
n
3 draft
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
o
r
neli
fix qu
o
t
e
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
o
n
e minor fix
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
c
lean u
p
sec
t
ion 2, more refere
n
ce
s
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
add some
stuf
f
i
n
my section and
a
few correctio
n
s
commit
|
commitdiff
|
tree
2017-05-27
Joe
C
o
rne
l
i
u
p
d
ate slightl
y
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
a
dd revised outline
commit
|
commitdiff
|
tree
2017-05-27
Joe Co
r
neli
add farm d
o
c
commit
|
commitdiff
|
tree
2017-05-26
Joe Corneli
u
p
d
ate scheme submi
s
sion
commit
|
commitdiff
|
tree
2017-05-25
Joe Co
r
neli
add subbran
c
hes
commit
|
commitdiff
|
tree
2017-05-25
Joe
C
orneli
fix
o
rg grammar
commit
|
commitdiff
|
tree
2017-05-25
Jo
e
Corneli
add pictures
commit
|
commitdiff
|
tree
2017-05-22
Joe Corneli
spacing
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
i
n
d
ent code
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
copy results from collaborat
i
ve sessio
n
Ma
y
20
commit
|
commitdiff
|
tree
2017-05-20
J
oe Corneli
f
ix typo
commit
|
commitdiff
|
tree
2017-05-20
J
o
e
C
o
r
neli
some mo
r
e editing
commit
|
commitdiff
|
tree
2017-05-20
Joe Co
r
neli
some editing
commit
|
commitdiff
|
tree
2017-05-16
Joe Cor
n
eli
add
r
o
b
ot
e
xample
commit
|
commitdiff
|
tree
2017-05-16
Joe Corneli
li
n
ks to non-working
exa
m
ples
commit
|
commitdiff
|
tree
2017-05-15
Joe
Corneli
fix typo through
o
ut
commit
|
commitdiff
|
tree
2017-05-15
Joe Cornel
i
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
a
d
d
gowers 201
2
example
commit
|
commitdiff
|
tree
2017-05-15
Joe
C
orneli
add
M
P
M
example
commit
|
commitdiff
|
tree
2017-05-13
Joe Corneli
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
mo
r
e
r
earrangements
commit
|
commitdiff
|
tree
2017-05-12
Joe Co
r
n
e
li
more clar
i
fic
a
tions
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
Merge bra
n
ch 'mob' of git://re
p
o
.
or
.
cz/arx
a
na in
t
o
m
o
b
commit
|
commitdiff
|
tree
2017-05-12
Joe Cor
n
eli
c
lean up
commit
|
commitdiff
|
tree
2017-05-12
Joe C
o
rneli
add r
e
fs
commit
|
commitdiff
|
tree
2017-05-06
Joe
Corne
l
i
initial commit of org file
commit
|
commitdiff
|
tree
2013-10-12
Joe Corn
e
li
Revise
arxan
a
.
org
with more structur
e
.
commit
|
commitdiff
|
tree
2013-10-12
Joe Co
r
neli
move org file to a mor
e
sensible
n
am
e
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Pr
e
tty
much
complete draft o
f
homepage is no
w
do
n
e
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
Corneli
make
a more
s
uccinct
R
EADME
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add honey-d
e
mo
.
t
e
x
commit
|
commitdiff
|
tree
2013-03-29
J
o
e C
o
rne
l
i
U
pdate l
i
cens
e
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
Cornel
i
Add scholium
p
r
ogramming and search exa
m
p
les
f
rom Ray
commit
|
commitdiff
|
tree
next