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
say something about Ganesalingam and Gowers
2017-05-30
Joe
C
or
n
eli
sa
y
s
o
m
ething a
b
out G
a
nesal
i
ngam and Gowers
commit
|
commitdiff
|
tree
2017-05-30
Jo
e
Corneli
chase through section 3 draft
commit
|
commitdiff
|
tree
2017-05-29
Joe Corn
e
li
f
ix quot
e
commit
|
commitdiff
|
tree
2017-05-29
Joe
Co
r
neli
one
mino
r
fix
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
clean
u
p section 2, more references
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
add some stuff
i
n
my s
e
ction and a few co
r
rections
commit
|
commitdiff
|
tree
2017-05-27
Joe
C
o
rneli
update
slightly
commit
|
commitdiff
|
tree
2017-05-27
Joe C
o
r
n
eli
a
dd
revised
o
u
t
line
commit
|
commitdiff
|
tree
2017-05-27
Joe
C
orneli
add farm doc
commit
|
commitdiff
|
tree
2017-05-26
Joe Cor
n
eli
update sche
m
e su
b
miss
i
on
commit
|
commitdiff
|
tree
2017-05-25
Joe Corneli
add subbranches
commit
|
commitdiff
|
tree
2017-05-25
J
o
e Cor
n
e
l
i
fix org grammar
commit
|
commitdiff
|
tree
2017-05-25
Joe Cor
n
e
l
i
add pictures
commit
|
commitdiff
|
tree
2017-05-22
Joe Corn
e
li
spacing
commit
|
commitdiff
|
tree
2017-05-21
Joe Corne
l
i
indent cod
e
commit
|
commitdiff
|
tree
2017-05-21
Jo
e
Corn
e
li
copy
r
e
s
ults f
r
o
m col
l
abora
t
ive session May 20
commit
|
commitdiff
|
tree
2017-05-20
Joe
C
orneli
f
i
x typo
commit
|
commitdiff
|
tree
2017-05-20
Joe Corneli
some more
editi
n
g
commit
|
commitdiff
|
tree
2017-05-20
Joe
Corneli
so
m
e editing
commit
|
commitdiff
|
tree
2017-05-16
J
oe Corne
l
i
add robot example
commit
|
commitdiff
|
tree
2017-05-16
Jo
e
Corneli
links to non-working exampl
e
s
commit
|
commitdiff
|
tree
2017-05-15
Joe
C
ornel
i
fix typo throughout
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add gowers 2012
e
xample
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add MPM example
commit
|
commitdiff
|
tree
2017-05-13
Joe Cor
n
e
li
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
mor
e
r
e
arrangem
e
n
t
s
commit
|
commitdiff
|
tree
2017-05-12
Joe C
o
rneli
mo
r
e clar
i
ficatio
n
s
commit
|
commitdiff
|
tree
2017-05-12
J
o
e Corneli
M
e
r
g
e
branch 'mob'
o
f g
i
t://repo
.
or
.
cz/arxana i
n
to mob
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
Co
r
n
e
li
clean up
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
Cor
n
eli
add refs
commit
|
commitdiff
|
tree
2017-05-06
Joe Corn
e
l
i
initial
commit of
o
r
g
file
commit
|
commitdiff
|
tree
2013-10-12
J
oe Cor
n
eli
Revis
e
a
r
xa
n
a
.
or
g
with m
o
re s
t
ructure
.
commit
|
commitdiff
|
tree
2013-10-12
Joe Corneli
move org file to a more
sensible name
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Pre
t
ty
m
uch complete
dr
a
ft
o
f
h
o
mepage
is now
done
commit
|
commitdiff
|
tree
2013-03-29
J
o
e Corneli
make a more s
u
ccinct README
commit
|
commitdiff
|
tree
2013-03-29
Joe Corne
l
i
Add honey-demo
.
tex
commit
|
commitdiff
|
tree
2013-03-29
Joe C
o
rneli
Update lice
n
se
commit
|
commitdiff
|
tree
2013-03-29
Joe
Cor
n
e
li
Add scholium programmin
g
and searc
h
ex
a
mpl
e
s
from Ray
commit
|
commitdiff
|
tree
2013-03-29
J
oe Corneli
Incorporate our
i
ni
t
ia
l
taskli
s
t as a
.
org file
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
A
dd 2
0
05 vers
i
on of Arxana
commit
|
commitdiff
|
tree
2013-03-29
Joe C
o
rn
e
li
Add 2009 version of Arxa
n
a
commit
|
commitdiff
|
tree
2013-03-29
Joe C
o
rn
e
l
i
Add initia
l
webpage exporter
commit
|
commitdiff
|
tree
2013-03-29
J
o
e Corneli
Add README
.
html that
c
an be update
d
, copied, a
n
d p
a
sted
.
.
.
commit
|
commitdiff
|
tree
2013-03-29
Joe
C
orneli
Add RE
A
DME
.
mob with in
s
tructions
for anonymou
s
c
ommits
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
A
d
d AGPL
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Initial c
o
mmit
commit
|
commitdiff
|
tree
