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
Joe
Corne
l
i
initial (very spa
r
e) dr
a
ft of the
F
ARM talk NOW
commit
|
commitdiff
|
tree
2017-09-05
Joe C
o
rn
e
li
initial (very spare) draft of
the FARM t
a
lk
commit
|
commitdiff
|
tree
2017-09-03
Joe Corneli
up
d
ate t
a
l
k
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
update
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
summa
r
y
& future work
commit
|
commitdiff
|
tree
2017-09-02
Joe
Corn
e
li
u
pdate org file
commit
|
commitdiff
|
tree
2017-09-02
Joe Corne
l
i
update i
m
ages
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
upda
t
e c
o
ntent
commit
|
commitdiff
|
tree
2017-09-02
Joe C
o
rneli
add
o
u
tline o
f
Scheme talk
commit
|
commitdiff
|
tree
2017-08-28
J
o
e Corneli
add ver
b
al comma
n
d to header
commit
|
commitdiff
|
tree
2017-08-28
Joe Corn
e
li
Merge branch 'mo
b
' of g
i
t://re
p
o
.
or
.
cz/arxana
into mob
commit
|
commitdiff
|
tree
2017-08-28
J
o
e Corneli
intro
d
uce verbal comman
d
commit
|
commitdiff
|
tree
2017-08-20
Joe C
o
rn
e
li
initial example of a pa
r
ser
commit
|
commitdiff
|
tree
2017-08-20
Joe Corneli
co
r
rect typo in arxa
n
a-reset-plexu
s
commit
|
commitdiff
|
tree
2017-08-19
Joe
Corneli
slightly change todo list
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
Revise
this t
o
reflect current st
a
t
u
s
commit
|
commitdiff
|
tree
2017-08-05
Jo
e
Corneli
move
hon
e
y-spec
.
org to
.
/org/
commit
|
commitdiff
|
tree
2017-08-01
Jo
e
Corneli
r
eorganize TODO items
commit
|
commitdiff
|
tree
2017-07-25
Joe Corneli
cha
n
g
e add-nema argument order
i
n spec
commit
|
commitdiff
|
tree
2017-07-12
J
o
e
Corneli
st
a
rtin
g
t
o
work on display-do
c
ument
commit
|
commitdiff
|
tree
2017-07-12
Joe
C
orneli
some
a
d
ded par
e
n
s in this f
i
l
e
commit
|
commitdiff
|
tree
2017-07-12
Joe
C
orneli
init
i
a
l
working a
r
ticle
b
rowser based
on new nem
a
s
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
fix paren
commit
|
commitdiff
|
tree
2017-07-11
Joe Corn
e
l
i
whites
p
a
c
e
commit
|
commitdiff
|
tree
2017-07-11
Joe Cornel
i
Merge bra
n
ch 'mob' of
git://repo
.
or
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-07-11
Joe
C
orneli
r
earrange sl
i
ghtly
commit
|
commitdiff
|
tree
2017-07-11
Jo
e
Corneli
add IATC+CD represen
t
ations
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
doc
u
menta
t
ion changes
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
bas
i
c working ve
r
s
ion of get-
n
ames
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
n
e
li
i
nitial working definition for triples-given-beginning etc
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
Corn
e
li
minor changes
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orneli
fully
f
ix im
p
ort code continuation
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fi
x
import c
o
de continuation
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
important fix in
add-nem
a
-
U
pd
a
t
e
th
e
coun
t
er for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
d
o
cumentation
c
h
a
nges
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
r
e
vise iterator functions
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
reord
e
r fil
t
e
ring functions, ajust fil
t
er-plexus
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Cor
n
eli
reorder bulk vs indivi
d
ual operations
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
call next
-
unique-id in add-e
n
-
masse
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
w
h
i
tespace, ne
x
t-unique-id
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
begin to re
v
ise triple access funct
i
ons
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fix some minor
iss
u
es
wi
t
h importing
commit
|
commitdiff
|
tree
2017-07-07
Joe Corneli
fix
s
ubsect
i
o
n
commit
|
commitdiff
|
tree
2017-07-04
Joe C
o
rneli
chas
e
through
downc
a
s
i
n
g
D
efun
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
Corneli
fix m
i
nor
space i
s
s
u
e
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
some more editing of the merged
d
ocum
e
n
t, with some
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
Corneli
q
u
ick editing pa
s
s
t
o
su
p
e
rficially integ
r
ate HONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-25
Joseph Corneli
add place to work on merge
commit
|
commitdiff
|
tree
2017-06-25
Joseph Cor
n
e
l
i
move backen
d
code
commit
|
commitdiff
|
tree
2017-06-25
Jos
e
p
h Corneli
move arxana backend
t
o separate fi
l
e
commit
|
commitdiff
|
tree
2017-06-25
Joseph Corneli
fix quoting
f
or la
m
bda
s
, see
h
ttps://stackoverflow
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
Joe Corneli
update task tree
commit
|
commitdiff
|
tree
2017-06-12
Joe Corneli
u
pdate fro
m
mi
x
ed mode
c
oll
a
b se
s
sio
n
J
une 1
2
commit
|
commitdiff
|
tree
2017-06-11
Joe Corneli
a
d
d
e
d
Future
W
o
r
k
f
ro
m
paper
a
nd
other small cha
n
ges
commit
|
commitdiff
|
tree
2017-06-01
Joe Corneli
commi
t
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
n
e
w
p
aragraph
commit
|
commitdiff
|
tree
2017-05-31
J
oe
Corneli
c
o
m
ment
u
n-useful
commit
|
commitdiff
|
tree
2017-05-31
J
o
e
C
orne
l
i
notes
f
rom our co
n
v
ersation
commit
|
commitdiff
|
tree
2017-05-31
Joe
Corneli
some
m
ore
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
min
o
r
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some co
n
t
e
nt for
S
ec
t
i
o
n 4
commit
|
commitdiff
|
tree
2017-05-31
Joe Corn
e
li
minor
commit
|
commitdiff
|
tree
2017-05-30
Jo
e
Corne
l
i
ch
e
ck
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
sm
a
ll changes
p
r
e
p to di
s
cussion
commit
|
commitdiff
|
tree
2017-05-30
Joe Co
r
neli
some m
o
re clean u
p
of section
3
commit
|
commitdiff
|
tree
2017-05-30
Joe Corne
l
i
s
a
y
som
e
thing about Ganesalingam and G
o
wers
commit
|
commitdiff
|
tree
2017-05-30
Jo
e
Corne
l
i
chase
through se
c
tio
n
3 draf
t
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
orneli
fix quote
commit
|
commitdiff
|
tree
2017-05-29
Joe Co
r
neli
one minor fix
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
o
r
neli
clean up section 2, more ref
e
ren
c
es
commit
|
commitdiff
|
tree
2017-05-29
J
o
e Corneli
add some
s
tuff in my secti
o
n and a few corre
c
tio
n
s
commit
|
commitdiff
|
tree
2017-05-27
J
oe Cor
n
eli
update slig
h
tly
commit
|
commitdiff
|
tree
2017-05-27
J
o
e Cor
n
eli
ad
d
revised outline
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
add f
a
rm d
o
c
commit
|
commitdiff
|
tree
2017-05-26
Jo
e
Corneli
u
pda
t
e s
c
heme submi
s
s
i
o
n
commit
|
commitdiff
|
tree
2017-05-25
Joe Co
r
neli
add su
b
branch
e
s
commit
|
commitdiff
|
tree
2017-05-25
J
o
e C
o
r
n
eli
fix org gram
m
ar
commit
|
commitdiff
|
tree
2017-05-25
Joe Co
r
neli
a
d
d
picture
s
commit
|
commitdiff
|
tree
2017-05-22
Joe Corneli
s
paci
n
g
commit
|
commitdiff
|
tree
2017-05-21
Joe
C
orneli
indent code
commit
|
commitdiff
|
tree
2017-05-21
J
o
e C
o
rneli
c
o
py result
s
from c
o
llaborative ses
s
i
o
n May 20
commit
|
commitdiff
|
tree
2017-05-20
J
oe Corne
l
i
fi
x
typ
o
commit
|
commitdiff
|
tree
2017-05-20
J
o
e
Corn
e
li
some
m
ore edi
t
ing
commit
|
commitdiff
|
tree
2017-05-20
J
o
e C
o
rne
l
i
s
o
me editing
commit
|
commitdiff
|
tree
2017-05-16
Joe
C
o
r
n
el
i
a
d
d r
o
bot example
commit
|
commitdiff
|
tree
2017-05-16
Joe
C
orneli
links
to non-working exampl
e
s
commit
|
commitdiff
|
tree
2017-05-15
Joe Cor
n
eli
f
i
x
typo
th
r
ougho
u
t
commit
|
commitdiff
|
tree
2017-05-15
Joe
C
orneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe Co
r
neli
add gowers 201
2
e
x
ample
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add MP
M
example
commit
|
commitdiff
|
tree
2017-05-13
Joe Corneli
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
mor
e
re
a
rrangements
commit
|
commitdiff
|
tree
2017-05-12
Joe
Corne
l
i
mo
r
e clarifi
c
ations
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
Merge branch 'mo
b
'
of git://repo
.
o
r
.
cz/
a
rxana into mob
commit
|
commitdiff
|
tree
2017-05-12
J
oe Co
r
neli
clean up
commit
|
commitdiff
|
tree
2017-05-12
Joe
Corn
e
li
add re
f
s
commit
|
commitdiff
|
tree
2017-05-06
Joe Corne
l
i
initial
commit of o
r
g file
commit
|
commitdiff
|
tree
2013-10-12
J
o
e
C
orne
l
i
Revise arxana
.
o
rg
w
ith
more structure
.
commit
|
commitdiff
|
tree
2013-10-12
J
o
e C
o
r
neli
m
ove
org
fi
l
e
t
o
a
more sensible nam
e
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Pretty muc
h
c
o
m
plete dra
f
t of homep
a
ge is now done
commit
|
commitdiff
|
tree
next