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
minor changes
2017-07-10
Joe Corneli
minor c
h
a
nges
commit
|
commitdiff
|
tree
2017-07-10
J
o
e Corneli
ful
l
y f
i
x i
m
port code
c
ontinu
a
tion
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
n
e
li
fix imp
o
rt code
c
ontinuati
o
n
commit
|
commitdiff
|
tree
2017-07-10
J
o
e Corneli
imp
o
rt
a
nt fix in
add-nema - Upd
a
te th
e
counter for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe Cornel
i
docum
e
ntation
ch
a
nges
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
o
r
n
el
i
r
evise iterator fu
n
ct
i
ons
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
r
e
order fil
t
ering f
u
nc
t
ions, ajust filt
e
r-plexus
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
r
e
o
r
der bulk vs indi
v
idual operations
commit
|
commitdiff
|
tree
2017-07-10
Joe Corn
e
li
c
a
ll next-uniqu
e
-
i
d in
a
dd-
e
n-masse
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
whit
e
space, next-unique-id
commit
|
commitdiff
|
tree
2017-07-10
Joe Corne
l
i
beg
i
n to revise tripl
e
a
ccess functions
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
f
i
x so
m
e minor iss
u
es w
i
th importing
commit
|
commitdiff
|
tree
2017-07-07
Joe Cor
n
el
i
fix s
u
bsection
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
Cor
n
eli
chase through downcasin
g
Defu
n
commit
|
commitdiff
|
tree
2017-07-04
Joe
C
o
rn
e
li
fix mi
n
or space issue
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
so
m
e more edit
i
ng of the
merged document, wi
t
h some
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
quick edi
t
ing
pass to superfi
c
ia
l
ly integrate
H
ONE
Y
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
Joe Corneli
update
t
a
s
k
tr
e
e
commit
|
commitdiff
|
tree
2017-06-12
Jo
e
Corne
l
i
update f
r
om mixe
d
mode collab session
June 12
commit
|
commitdiff
|
tree
2017-06-11
J
oe Corneli
added Futur
e
Work
from
pap
e
r and
other
s
mall changes
commit
|
commitdiff
|
tree
2017-06-01
Joe Corne
l
i
comm
i
t
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
new p
a
ragr
a
ph
commit
|
commitdiff
|
tree
2017-05-31
Joe Corne
l
i
comment un-useful
commit
|
commitdiff
|
tree
2017-05-31
J
o
e Corneli
notes from our conve
r
sation
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some more
commit
|
commitdiff
|
tree
2017-05-31
Joe
Corneli
m
i
n
o
r
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
s
ome content for Section 4
commit
|
commitdiff
|
tree
2017-05-31
J
o
e Corneli
mi
n
or
commit
|
commitdiff
|
tree
2017-05-30
Joe Co
r
neli
chec
k
commit
|
commitdiff
|
tree
2017-05-30
Joe
Co
r
neli
smal
l
changes prep to di
s
cussion
commit
|
commitdiff
|
tree
2017-05-30
J
o
e
Corneli
some more clean up of section 3
commit
|
commitdiff
|
tree
2017-05-30
J
oe Corneli
say
something about Ganesal
i
ngam and Gowers
commit
|
commitdiff
|
tree
2017-05-30
Joe C
o
rneli
cha
s
e through section 3 d
r
a
ft
commit
|
commitdiff
|
tree
2017-05-29
Joe Cornel
i
fix quot
e
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
one minor fix
commit
|
commitdiff
|
tree
2017-05-29
Joe
Cornel
i
clean up
s
ection 2, more references
commit
|
commitdiff
|
tree
2017-05-29
Joe C
o
rneli
add some s
t
uff
in my sect
i
on
and a
f
e
w
c
orrections
commit
|
commitdiff
|
tree
2017-05-27
Joe Cornel
i
upd
a
te s
l
ightl
y
commit
|
commitdiff
|
tree
2017-05-27
Joe Corne
l
i
add rev
i
sed outline
commit
|
commitdiff
|
tree
2017-05-27
Joe Cor
n
eli
add
f
arm do
c
commit
|
commitdiff
|
tree
2017-05-26
J
o
e
Cor
n
el
i
u
p
date sch
e
me su
b
mi
s
sion
commit
|
commitdiff
|
tree
2017-05-25
Joe Co
r
neli
a
dd
sub
b
ranc
h
e
s
commit
|
commitdiff
|
tree
2017-05-25
Joe
C
orneli
fix org grammar
commit
|
commitdiff
|
tree
2017-05-25
Joe Corneli
add pictures
commit
|
commitdiff
|
tree
2017-05-22
Joe
C
o
r
neli
spac
i
n
g
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
inden
t
code
commit
|
commitdiff
|
tree
2017-05-21
J
oe C
o
rneli
copy results
f
rom co
l
laborat
i
ve session
M
ay
20
commit
|
commitdiff
|
tree
2017-05-20
Joe Corne
l
i
fix t
y
po
commit
|
commitdiff
|
tree
2017-05-20
J
o
e Corneli
some more e
d
iting
commit
|
commitdiff
|
tree
2017-05-20
Joe Co
r
neli
some
e
diting
commit
|
commitdiff
|
tree
2017-05-16
Jo
e
Cor
n
eli
add robot e
x
ampl
e
commit
|
commitdiff
|
tree
2017-05-16
Joe Corne
l
i
lin
k
s to non-working exa
m
ples
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
fix typ
o
throughout
commit
|
commitdiff
|
tree
2017-05-15
J
oe Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe Cor
n
e
l
i
a
dd g
o
wers
2012 example
commit
|
commitdiff
|
tree
2017-05-15
Joe Corn
e
li
a
dd MPM examp
l
e
commit
|
commitdiff
|
tree
2017-05-13
Joe Corneli
c
l
ean
commit
|
commitdiff
|
tree
2017-05-12
J
o
e
Corneli
m
ore rearrangeme
n
t
s
commit
|
commitdiff
|
tree
2017-05-12
J
o
e Corne
l
i
more clari
f
ica
t
ions
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
Me
r
ge branch 'm
o
b' of g
i
t://repo
.
or
.
cz/arxan
a
into mob
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
clean up
commit
|
commitdiff
|
tree
2017-05-12
Joe Cor
n
eli
add re
f
s
commit
|
commitdiff
|
tree
2017-05-06
Joe C
o
rneli
initial co
m
mit of org
file
commit
|
commitdiff
|
tree
2013-10-12
Joe
Corne
l
i
Revise arxa
n
a
.
or
g
w
ith more str
u
cture
.
commit
|
commitdiff
|
tree
2013-10-12
Joe Corn
e
l
i
move or
g
file to a more sensible na
m
e
commit
|
commitdiff
|
tree
2013-03-29
Joe Corn
e
li
P
r
etty much complet
e
draft of homepage
is now
done
commit
|
commitdiff
|
tree
2013-03-29
Joe Co
r
neli
make a more succinct R
E
ADME
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Ad
d
honey
-
d
e
mo
.
tex
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
Corneli
Upda
t
e
licen
s
e
commit
|
commitdiff
|
tree
2013-03-29
Joe Corn
e
li
A
d
d scholium
pr
o
gramming and search e
x
amples fr
o
m Ray
commit
|
commitdiff
|
tree
2013-03-29
Joe C
o
rnel
i
Incorp
o
rat
e
our initial
tasklist
a
s a
.
or
g
file
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add 2005 vers
i
on of Arx
a
na
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add
2
0
09 versio
n
of Arxana
commit
|
commitdiff
|
tree
2013-03-29
Joe
C
orneli
Add initial webpage
e
xporter
commit
|
commitdiff
|
tree
2013-03-29
Joe
C
orneli
A
dd REA
D
ME
.
html that can be updated
,
copied, and
p
asted
.
.
.
commit
|
commitdiff
|
tree
2013-03-29
Joe Corn
e
li
A
dd REA
D
ME
.
mob with instr
u
c
tions for anony
m
ous commits
commit
|
commitdiff
|
tree
2013-03-29
Joe C
o
r
n
e
li
Add
A
G
PL
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
Cor
n
eli
I
n
itial
c
ommit
commit
|
commitdiff
|
tree