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
2017-09-05
Joe
Corn
e
li
initial (very
s
pare
)
d
raft of
the FARM tal
k
commit
|
commitdiff
|
tree
2017-09-03
Joe Corneli
update talk
commit
|
commitdiff
|
tree
2017-09-02
J
o
e Corneli
update
commit
|
commitdiff
|
tree
2017-09-02
Jo
e
C
o
rneli
summary &
fut
u
re work
commit
|
commitdiff
|
tree
2017-09-02
J
oe Corneli
u
p
date o
r
g file
commit
|
commitdiff
|
tree
2017-09-02
Joe C
o
rn
e
li
update images
commit
|
commitdiff
|
tree
2017-09-02
J
o
e Corneli
updat
e
content
commit
|
commitdiff
|
tree
2017-09-02
Joe C
o
rneli
a
d
d out
l
ine of Scheme talk
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
ad
d
verbal command to header
commit
|
commitdiff
|
tree
2017-08-28
Joe
Cornel
i
Merge
b
ran
c
h
'mob' of git://rep
o
.
or
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
intro
d
uce verbal
command
commit
|
commitdiff
|
tree
2017-08-20
Joe Corneli
initial example of
a
pa
r
ser
commit
|
commitdiff
|
tree
2017-08-20
Joe
Corneli
correct
typo in arxana-reset-plexus
commit
|
commitdiff
|
tree
2017-08-19
J
o
e Corneli
slightly
cha
n
ge tod
o
list
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
Revi
s
e this to ref
l
ect c
u
rrent stat
u
s
commit
|
commitdiff
|
tree
2017-08-05
Jo
e
Corneli
mov
e
honey-s
p
ec
.
org to
.
/
org/
commit
|
commitdiff
|
tree
2017-08-01
Joe Corneli
reo
r
ganiz
e
TODO i
t
ems
commit
|
commitdiff
|
tree
2017-07-25
Joe Corn
e
l
i
c
hange add-ne
m
a argument order in
spec
commit
|
commitdiff
|
tree
2017-07-12
J
o
e Cornel
i
s
tarting t
o
work o
n
d
isplay-
d
ocu
m
ent
commit
|
commitdiff
|
tree
2017-07-12
Jo
e
Cor
n
e
li
som
e
adde
d
p
aren
s
in this fil
e
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
i
nitial working articl
e
browse
r
bas
e
d on new nemas
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Joe
C
o
rn
e
li
fix paren
commit
|
commitdiff
|
tree
2017-07-11
Joe Cor
n
eli
white
s
pace
commit
|
commitdiff
|
tree
2017-07-11
Joe C
o
r
n
eli
Mer
g
e b
r
a
n
c
h 'mob' of git://repo
.
or
.
cz/arxana int
o
m
o
b
commit
|
commitdiff
|
tree
2017-07-11
J
o
e
C
orneli
rearrange
slightly
commit
|
commitdiff
|
tree
2017-07-11
J
oe Corneli
add IAT
C
+
C
D represen
t
ati
o
n
s
commit
|
commitdiff
|
tree
2017-07-10
J
o
e Corneli
d
o
c
u
mentation cha
n
g
es
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
C
or
n
eli
basic working version of get-names
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
in
i
tial work
i
ng definiti
o
n for triples-given-beg
i
nning etc
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
m
inor changes
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
fully fix
i
mport c
o
d
e c
o
n
tinuation
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fix import
c
ode contin
u
ati
o
n
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
important fix in add-nema
-
Updat
e
t
h
e cou
n
ter fo
r
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
documentation changes
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
revise iterator
f
un
c
tion
s
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
reor
d
er filtering fun
c
tions, ajust filte
r
-
plexus
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
r
e
order bulk v
s
indivi
d
ual ope
r
ations
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
call
next-
u
niqu
e
-id i
n
add
-
en-masse
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
whitesp
a
c
e
, next-
u
nique-id
commit
|
commitdiff
|
tree
2017-07-10
Joe Cornel
i
begin to
r
evise t
r
iple
acce
s
s functio
n
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corne
l
i
fix some minor issues with importing
commit
|
commitdiff
|
tree
2017-07-07
Joe Corne
l
i
fix s
u
bsection
commit
|
commitdiff
|
tree
2017-07-04
Joe Cor
n
eli
ch
a
se through downca
s
ing D
e
f
u
n
commit
|
commitdiff
|
tree
2017-07-04
Joe
C
orneli
fix m
i
nor spac
e
issue
commit
|
commitdiff
|
tree
2017-07-04
Joe C
o
rneli
some more editing of
the mer
g
ed
d
o
cum
e
nt,
w
ith so
m
e
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
J
o
e Corneli
quick ed
i
ting pass t
o
supe
r
f
i
cial
l
y
integ
r
ate HONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
Joe Cor
n
eli
update task tree
commit
|
commitdiff
|
tree
2017-06-12
Joe Corneli
updat
e
from mixed mode colla
b
session June 12
commit
|
commitdiff
|
tree
2017-06-11
Joe C
o
rne
l
i
added Future Work from paper and o
t
her
s
mall c
h
anges
commit
|
commitdiff
|
tree
2017-06-01
Joe Corne
l
i
c
o
m
mit
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
new paragraph
commit
|
commitdiff
|
tree
2017-05-31
Joe Corne
l
i
comm
e
nt
u
n-useful
commit
|
commitdiff
|
tree
2017-05-31
Joe Co
r
neli
not
e
s from our c
o
nversation
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some mo
r
e
commit
|
commitdiff
|
tree
2017-05-31
Joe Corne
l
i
mino
r
commit
|
commitdiff
|
tree
2017-05-31
J
oe Corneli
some co
n
tent
for Section 4
commit
|
commitdiff
|
tree
2017-05-31
Joe
C
orneli
mi
n
or
commit
|
commitdiff
|
tree
2017-05-30
Joe Corn
e
li
check
commit
|
commitdiff
|
tree
2017-05-30
J
oe
C
orneli
small chan
g
es prep
t
o
discussion
commit
|
commitdiff
|
tree
2017-05-30
Joe Corne
l
i
som
e
m
o
re cle
a
n
up
o
f section 3
commit
|
commitdiff
|
tree
2017-05-30
Joe C
o
r
n
eli
say somethin
g
a
b
out Ganesalingam a
n
d Gowers
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
chase through sec
t
ion
3 dr
a
f
t
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
fix quote
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
o
rn
e
li
one
m
inor fix
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
clean up
section 2, more re
f
e
r
enc
e
s
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
orn
e
li
a
d
d
some
st
u
ff
in my section and
a
f
ew corrections
commit
|
commitdiff
|
tree
2017-05-27
Joe Cor
n
eli
upd
a
te slightly
commit
|
commitdiff
|
tree
2017-05-27
Joe Corne
l
i
a
dd revi
s
ed outlin
e
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
add farm doc
commit
|
commitdiff
|
tree
2017-05-26
Joe Corneli
update scheme
s
ubmis
s
ion
commit
|
commitdiff
|
tree
2017-05-25
Joe
C
orneli
add subbranch
e
s
commit
|
commitdiff
|
tree
2017-05-25
Jo
e
Cor
n
e
l
i
f
ix org gramm
a
r
commit
|
commitdiff
|
tree
2017-05-25
Joe
C
o
rneli
add p
i
ctures
commit
|
commitdiff
|
tree
2017-05-22
Jo
e
Corneli
spa
c
ing
commit
|
commitdiff
|
tree
2017-05-21
Joe Co
r
neli
indent code
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
c
opy
r
esu
l
ts from co
l
laborat
i
ve sess
i
on May 20
commit
|
commitdiff
|
tree
2017-05-20
Joe Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-20
Joe Cornel
i
some
m
or
e
e
diti
n
g
commit
|
commitdiff
|
tree
2017-05-20
J
o
e Corneli
some ed
i
ting
commit
|
commitdiff
|
tree
2017-05-16
Joe Corn
e
li
add robo
t
example
commit
|
commitdiff
|
tree
2017-05-16
Joe Corneli
li
n
ks t
o
n
o
n-w
o
rking examples
commit
|
commitdiff
|
tree
2017-05-15
Jo
e
Corneli
f
i
x
t
ypo
t
hrou
g
hout
commit
|
commitdiff
|
tree
2017-05-15
Joe Corn
e
li
fix
t
yp
o
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
a
d
d
gowers
2
012 e
x
a
m
ple
commit
|
commitdiff
|
tree
2017-05-15
J
o
e
C
o
r
neli
add MPM exam
p
le
commit
|
commitdiff
|
tree
2017-05-13
J
o
e
C
or
n
eli
clean
commit
|
commitdiff
|
tree
2017-05-12
J
oe Corneli
m
ore rear
r
angements
commit
|
commitdiff
|
tree
2017-05-12
Joe Corn
e
li
mor
e
c
larifi
c
ation
s
commit
|
commitdiff
|
tree
2017-05-12
Joe C
o
rneli
Merge branc
h
'm
o
b' of git:
/
/repo
.
o
r
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-05-12
Joe Co
r
n
e
li
c
l
ean
up
commit
|
commitdiff
|
tree
2017-05-12
J
o
e
Corneli
add refs
commit
|
commitdiff
|
tree
2017-05-06
J
o
e Corneli
init
i
al commit of org file
commit
|
commitdiff
|
tree
2013-10-12
J
o
e Corn
e
li
Rev
i
se ar
x
ana
.
org with
m
ore
structure
.
commit
|
commitdiff
|
tree
2013-10-12
Joe Corneli
move org file to
a
more se
n
sib
l
e name
commit
|
commitdiff
|
tree
2013-03-29
Joe Cor
n
eli
Pretty much complete draft of
h
o
mepage is
n
ow done
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
make a more
su
c
c
i
n
c
t README
commit
|
commitdiff
|
tree
2013-03-29
Joe Corne
l
i
Ad
d
honey-demo
.
tex
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
Corne
l
i
Upda
t
e license
commit
|
commitdiff
|
tree
2013-03-29
Joe
C
orneli
Add
s
cholium programming and search
e
x
amp
l
es from R
a
y
commit
|
commitdiff
|
tree
2013-03-29
Joe Co
r
neli
Incorporate our initial
t
as
k
list as a
.
org file
commit
|
commitdiff
|
tree
next