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
Merge branch 'mob'
2017-09-07
Joe C
o
rneli
Merge branch '
m
ob'
commit
|
commitdiff
|
tree
2017-09-07
J
o
e Corn
e
l
i
simplify iatc
s
l
ides
commit
|
commitdiff
|
tree
2017-09-07
Joe Corneli
move contents
commit
|
commitdiff
|
tree
2017-09-07
Jo
e
Co
r
neli
finish
p
a
s
s through
slides
commit
|
commitdiff
|
tree
2017-09-06
Joe Cornel
i
save
progress
commit
|
commitdiff
|
tree
2017-09-06
Joe Corneli
worki
n
g
on the fa
r
m tal
k
commit
|
commitdiff
|
tree
2017-09-05
Joe Cor
n
eli
farm-t
a
lk
.
o
rg minor chan
g
es
commit
|
commitdiff
|
tree
2017-09-05
Joe Corneli
narrat
i
v
e
commit
|
commitdiff
|
tree
2017-09-05
Joe Corneli
initia
l
(very s
p
are
)
draft of
the
F
ARM talk NOW
commit
|
commitdiff
|
tree
2017-09-05
Jo
e
Co
r
neli
i
n
itial (very
sp
a
re) draft of t
h
e FAR
M
talk
commit
|
commitdiff
|
tree
2017-09-03
Jo
e
Corn
e
li
Merge branch
'
m
a
ster' o
f
https://repo
.
or
.
c
z
/arxa
n
a
commit
|
commitdiff
|
tree
2017-09-03
Joe
Corne
l
i
fix readme
commit
|
commitdiff
|
tree
2017-09-03
Joe Corneli
adjust READ
M
E
commit
|
commitdiff
|
tree
2017-09-03
J
o
e C
o
rneli
update ta
l
k
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
update
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
summary & future work
commit
|
commitdiff
|
tree
2017-09-02
Joe
C
orneli
update org file
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
update images
commit
|
commitdiff
|
tree
2017-09-02
Jo
e
Corneli
u
pdate cont
e
nt
commit
|
commitdiff
|
tree
2017-09-02
Joe
C
o
r
neli
a
dd
o
u
t
line of Scheme talk
commit
|
commitdiff
|
tree
2017-08-28
Joe Cornel
i
add verbal command to
h
eader
commit
|
commitdiff
|
tree
2017-08-28
Jo
e
Corneli
Merge
b
ranch 'mob'
o
f
g
i
t
://repo
.
or
.
cz/arxan
a
int
o
mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
i
n
troduc
e
verbal command
commit
|
commitdiff
|
tree
2017-08-20
Joe
C
o
rne
l
i
initia
l
example of a p
a
rser
commit
|
commitdiff
|
tree
2017-08-20
Joe C
o
rneli
cor
r
e
c
t typo
i
n a
r
x
ana-reset-plex
u
s
commit
|
commitdiff
|
tree
2017-08-19
Joe Corneli
slig
h
tly change todo list
commit
|
commitdiff
|
tree
2017-08-05
Jo
e
Corne
l
i
Revise this to reflect current statu
s
commit
|
commitdiff
|
tree
2017-08-05
Joe
Corneli
m
ove
h
oney-spec
.
o
r
g t
o
.
/org
/
commit
|
commitdiff
|
tree
2017-08-01
Joe C
o
rneli
r
e
organize TODO items
commit
|
commitdiff
|
tree
2017-07-25
Joe Corneli
c
h
a
nge
add-
n
e
m
a argum
e
nt
o
rder in spec
commit
|
commitdiff
|
tree
2017-07-12
J
oe
C
orneli
startin
g
to work
o
n dis
p
lay-document
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
some adde
d
pare
n
s in th
i
s file
commit
|
commitdiff
|
tree
2017-07-12
Joe Co
r
neli
i
niti
a
l working art
i
cle browser
b
ase
d
on new nemas
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Jo
e
Corneli
fix
p
a
r
en
commit
|
commitdiff
|
tree
2017-07-11
Jo
e
Corneli
w
h
ites
p
ace
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
Merg
e
b
ranch 'mob' of git://repo
.
or
.
cz/a
r
xana in
t
o
mob
commit
|
commitdiff
|
tree
2017-07-11
Joe Corne
l
i
rearrange sl
i
ghtly
commit
|
commitdiff
|
tree
2017-07-11
J
oe Co
r
n
eli
add IATC+CD r
e
pre
s
ent
a
tions
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
documentation
cha
n
ges
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
basi
c
w
o
r
ki
n
g version of ge
t
-
n
a
m
e
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corn
e
li
in
i
t
ial wo
r
king def
i
n
ition for triples-give
n
-beginning
e
tc
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
C
orneli
minor cha
n
ges
commit
|
commitdiff
|
tree
2017-07-10
Joe Corne
l
i
f
u
lly fix import code
continuation
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fi
x
import code
c
onti
n
u
ation
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
ornel
i
im
p
ortant
f
i
x in
add-nema - Up
d
ate the counter fo
r
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
docu
m
e
n
tation changes
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
C
ornel
i
revise
iterator f
u
nctio
n
s
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orneli
r
eorder
f
iltering functions,
a
j
u
st filter-plexus
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
Corneli
reor
d
e
r b
u
lk vs indiv
i
dual op
e
ration
s
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
call next-unique-id
in add-e
n
-masse
commit
|
commitdiff
|
tree
2017-07-10
Joe Corne
l
i
whitespace
,
next-un
i
que-i
d
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
begi
n
to
r
e
v
ise tri
p
le acce
s
s functi
o
ns
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fi
x
some minor
issues wit
h
import
i
ng
commit
|
commitdiff
|
tree
2017-07-07
J
oe Corneli
fix subsecti
o
n
commit
|
commitdiff
|
tree
2017-07-04
Joe Corne
l
i
chase
through
d
owncasin
g
D
e
fun
commit
|
commitdiff
|
tree
2017-07-04
J
o
e
Cor
n
eli
fix minor space issue
commit
|
commitdiff
|
tree
2017-07-04
Joe Corn
e
li
some
m
o
re editing of t
h
e merged documen
t
,
with some
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
quick edit
i
n
g pass to superficially integrate HONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
Joe Corneli
update task tree
commit
|
commitdiff
|
tree
2017-06-12
Joe Corn
e
li
u
p
date from mixe
d
mode coll
a
b session J
u
ne
1
2
commit
|
commitdiff
|
tree
2017-06-11
Jo
e
C
or
n
eli
a
d
ded Fut
u
re Work from
paper and
other
s
mal
l
change
s
commit
|
commitdiff
|
tree
2017-06-01
Joe C
o
r
neli
commit
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
Corneli
new para
g
raph
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
comment un-useful
commit
|
commitdiff
|
tree
2017-05-31
Joe
Corn
e
li
notes from
our conversation
commit
|
commitdiff
|
tree
2017-05-31
J
o
e
Corneli
some more
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
minor
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some co
n
tent for S
e
c
tion 4
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
C
o
rneli
minor
commit
|
commitdiff
|
tree
2017-05-30
J
oe Corneli
check
commit
|
commitdiff
|
tree
2017-05-30
Joe Co
r
neli
small changes prep
to
discussion
commit
|
commitdiff
|
tree
2017-05-30
Joe
Corneli
some
m
o
r
e
clean up of sectio
n
3
commit
|
commitdiff
|
tree
2017-05-30
Jo
e
C
orneli
say something about G
a
nesalingam an
d
G
owers
commit
|
commitdiff
|
tree
2017-05-30
Joe C
o
rneli
chase through section 3 draft
commit
|
commitdiff
|
tree
2017-05-29
Joe
Corneli
fix quote
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
one minor
fi
x
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
orneli
clean u
p
section 2,
m
o
r
e
re
f
ere
n
ces
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
orn
e
li
add some stuff in my
se
c
tion and a f
e
w c
o
rrection
s
commit
|
commitdiff
|
tree
2017-05-27
J
o
e Corneli
update slightly
commit
|
commitdiff
|
tree
2017-05-27
J
o
e Corneli
add re
v
ised
outlin
e
commit
|
commitdiff
|
tree
2017-05-27
Joe Corne
l
i
a
d
d farm doc
commit
|
commitdiff
|
tree
2017-05-26
Joe
C
orneli
upda
t
e scheme submi
s
s
i
on
commit
|
commitdiff
|
tree
2017-05-25
J
oe Corneli
add subb
r
anche
s
commit
|
commitdiff
|
tree
2017-05-25
J
oe C
o
rneli
fix org grammar
commit
|
commitdiff
|
tree
2017-05-25
Joe Corneli
a
d
d pictur
e
s
commit
|
commitdiff
|
tree
2017-05-22
Joe
Corneli
spacing
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
inde
n
t code
commit
|
commitdiff
|
tree
2017-05-21
Joe
C
ornel
i
co
p
y results
f
rom
collaborative
s
ession M
a
y
2
0
commit
|
commitdiff
|
tree
2017-05-20
J
o
e Corne
l
i
fix typo
commit
|
commitdiff
|
tree
2017-05-20
Jo
e
Corneli
some
m
or
e
editing
commit
|
commitdiff
|
tree
2017-05-20
Joe Corn
e
li
so
m
e e
d
iting
commit
|
commitdiff
|
tree
2017-05-16
J
o
e
C
orneli
a
d
d
robot example
commit
|
commitdiff
|
tree
2017-05-16
Joe Cor
n
eli
links to non-worki
n
g e
x
amples
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
fix typo
t
h
rou
g
hout
commit
|
commitdiff
|
tree
2017-05-15
Jo
e
Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
a
d
d gowers 2012 exampl
e
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add
M
PM
example
commit
|
commitdiff
|
tree
2017-05-13
Joe
C
orneli
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more rearrangement
s
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
m
o
re clar
i
fications
commit
|
commitdiff
|
tree
next