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 Corn
e
li
say something about Ga
n
es
a
ling
a
m a
n
d
G
owers
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
chase throug
h
section 3
d
raft
commit
|
commitdiff
|
tree
2017-05-29
Joe Cornel
i
f
i
x quote
commit
|
commitdiff
|
tree
2017-05-29
J
o
e Corneli
one minor
f
ix
commit
|
commitdiff
|
tree
2017-05-29
Joe Co
r
nel
i
cle
a
n
up sec
t
ion 2, more r
e
f
erences
commit
|
commitdiff
|
tree
2017-05-29
Jo
e
Corneli
add some stu
f
f
i
n my section and a few
c
orr
e
ctions
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
updat
e
s
l
i
g
htly
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
add revised
o
utli
n
e
commit
|
commitdiff
|
tree
2017-05-27
Joe Corn
e
l
i
add farm doc
commit
|
commitdiff
|
tree
2017-05-26
Joe Corneli
update scheme submission
commit
|
commitdiff
|
tree
2017-05-25
J
o
e Corneli
add
s
ubbr
a
n
c
h
es
commit
|
commitdiff
|
tree
2017-05-25
Joe Corneli
fix org grammar
commit
|
commitdiff
|
tree
2017-05-25
J
oe Corneli
add pictures
commit
|
commitdiff
|
tree
2017-05-22
Jo
e
Cor
n
eli
spacin
g
commit
|
commitdiff
|
tree
2017-05-21
Joe Cor
n
eli
i
n
de
n
t code
commit
|
commitdiff
|
tree
2017-05-21
Jo
e
Corn
e
li
c
opy results fro
m
collaborative session
M
a
y 20
commit
|
commitdiff
|
tree
2017-05-20
Joe
C
orneli
fix t
y
po
commit
|
commitdiff
|
tree
2017-05-20
J
o
e C
o
r
neli
some more
editin
g
commit
|
commitdiff
|
tree
2017-05-20
Joe Corneli
some
editing
commit
|
commitdiff
|
tree
2017-05-16
Joe Corneli
a
dd
robot exa
m
pl
e
commit
|
commitdiff
|
tree
2017-05-16
Jo
e
Corneli
li
n
ks t
o
non-working exam
p
les
commit
|
commitdiff
|
tree
2017-05-15
Joe
C
orne
l
i
f
ix ty
p
o throughout
commit
|
commitdiff
|
tree
2017-05-15
Joe Corne
l
i
fix t
y
po
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add gowers
2012 e
x
a
m
pl
e
commit
|
commitdiff
|
tree
2017-05-15
Joe Cor
n
eli
add MPM example
commit
|
commitdiff
|
tree
2017-05-13
J
oe Corn
e
li
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Co
r
neli
more rearrangements
commit
|
commitdiff
|
tree
2017-05-12
J
oe Corneli
more clarifica
t
ions
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
C
o
r
neli
Merge b
r
anch 'mob'
o
f
git://repo
.
or
.
cz/a
r
xana into mo
b
commit
|
commitdiff
|
tree
2017-05-12
J
oe Corneli
cle
a
n up
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
Corn
e
li
a
d
d
refs
commit
|
commitdiff
|
tree
2017-05-06
Joe
Corneli
i
n
itial commit
o
f org
f
ile
commit
|
commitdiff
|
tree
2013-10-12
Joe
Corneli
Revise arxana
.
org with mo
r
e structure
.
commit
|
commitdiff
|
tree
2013-10-12
Jo
e
Corneli
move org f
i
le to
a more
s
ensible name
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Pretty much complete draft of homepag
e
is
n
ow
d
o
n
e
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
mak
e
a more succinct README
commit
|
commitdiff
|
tree
2013-03-29
Joe
C
or
n
eli
Add honey-
d
emo
.
tex
commit
|
commitdiff
|
tree
2013-03-29
J
o
e
C
orneli
U
pdate lice
n
se
commit
|
commitdiff
|
tree
2013-03-29
Joe
C
orneli
Add scholiu
m
programming and search examples from Ray
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Inco
r
p
orat
e
our
in
i
tial tas
k
list as
a
.
o
r
g
f
i
le
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
Corne
l
i
Add 2005 ve
r
sion of
A
rxana
commit
|
commitdiff
|
tree
2013-03-29
J
o
e Corn
e
l
i
Add 2009 ve
r
sion of
Arxana
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add initial w
e
bpage
exporte
r
commit
|
commitdiff
|
tree
2013-03-29
Joe Corn
e
li
Add R
E
ADME
.
h
t
ml
t
hat can be upd
a
te
d
, copied, and pasted
.
.
.
commit
|
commitdiff
|
tree
2013-03-29
J
oe
C
o
r
neli
A
dd README
.
m
ob with instructions f
o
r
a
nony
m
ous
c
ommits
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add AG
P
L
commit
|
commitdiff
|
tree
2013-03-29
Joe Cornel
i
Initia
l
commit
commit
|
commitdiff
|
tree