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
update talk
2017-09-03
Joe Corneli
update talk
commit
|
commitdiff
|
tree
2017-09-02
Joe Cornel
i
updat
e
commit
|
commitdiff
|
tree
2017-09-02
J
o
e Corneli
sum
m
ary & future work
commit
|
commitdiff
|
tree
2017-09-02
Joe Corne
l
i
update org file
commit
|
commitdiff
|
tree
2017-09-02
Joe C
o
rneli
upda
t
e i
m
ages
commit
|
commitdiff
|
tree
2017-09-02
J
o
e Corneli
update content
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
add
o
utline
o
f
S
che
m
e
t
a
lk
commit
|
commitdiff
|
tree
2017-08-28
Jo
e
Corneli
add verb
a
l command to h
e
ad
e
r
commit
|
commitdiff
|
tree
2017-08-28
J
o
e Corn
e
li
M
erge branch 'm
o
b'
o
f git://repo
.
or
.
cz/arx
a
na into m
o
b
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
introduce verbal command
commit
|
commitdiff
|
tree
2017-08-20
Joe Corn
e
li
initial example of
a
pa
r
s
er
commit
|
commitdiff
|
tree
2017-08-20
Jo
e
Corneli
correct ty
p
o in
a
rxana-reset-plexus
commit
|
commitdiff
|
tree
2017-08-19
Joe Corneli
slightly change to
d
o list
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
R
e
vise this to reflect
c
urrent
status
commit
|
commitdiff
|
tree
2017-08-05
Joe Cornel
i
move honey-spec
.
o
rg
t
o
.
/
o
rg/
commit
|
commitdiff
|
tree
2017-08-01
J
oe Corneli
reo
r
ganize
T
ODO items
commit
|
commitdiff
|
tree
2017-07-25
Jo
e
Co
r
neli
change add-nema
a
rgument
orde
r
in spec
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
sta
r
t
ing to work on
d
i
s
p
l
a
y-docum
e
nt
commit
|
commitdiff
|
tree
2017-07-12
J
o
e Corneli
some
a
d
d
ed p
a
ren
s
in this f
i
le
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
initial working article b
r
owser based on new nemas
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
fix paren
commit
|
commitdiff
|
tree
2017-07-11
Joe Cor
n
el
i
whites
p
ac
e
commit
|
commitdiff
|
tree
2017-07-11
J
o
e Corneli
Merge branch 'mob' of
g
it://repo
.
or
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
rearr
a
nge s
l
ightly
commit
|
commitdiff
|
tree
2017-07-11
Joe Cor
n
e
l
i
add
I
ATC+CD representatio
n
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Cornel
i
docu
m
entation changes
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orn
e
li
b
asic worki
n
g
v
ersion of get-names
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
initia
l
w
orking definitio
n
for triples-given-begi
n
n
i
ng etc
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
C
orneli
minor chan
g
es
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
fully fix i
m
p
o
rt co
d
e con
t
inuation
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
f
i
x
import
co
d
e continuation
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
C
orneli
impo
r
tant
f
ix in a
d
d-nema - Update the coun
t
er f
o
r
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
documentation
c
h
anges
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
r
e
vise
iterato
r
function
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
r
eorder
filt
e
ring functions, aju
s
t filter-
p
lexu
s
commit
|
commitdiff
|
tree
2017-07-10
J
oe Cor
n
e
l
i
reorder
b
ulk vs individual o
p
erations
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
ca
l
l next-un
i
que-id in add-en-masse
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
whitespace, next-u
n
i
q
u
e-id
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
be
g
i
n
to r
e
vise t
r
iple access functions
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
fix som
e
m
i
no
r
is
s
u
e
s with importing
commit
|
commitdiff
|
tree
2017-07-07
Joe Corn
e
li
fi
x
subsect
i
on
commit
|
commitdiff
|
tree
2017-07-04
J
o
e Corneli
chase t
h
ro
u
gh d
o
wncasing Defun
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
Corneli
fix minor space
i
s
sue
commit
|
commitdiff
|
tree
2017-07-04
J
oe C
o
rneli
some mor
e
editing of t
h
e
m
e
rged docume
n
t
,
wi
t
h so
m
e
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
qu
i
ck editing pa
s
s to superfic
i
al
l
y integrate HONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
J
o
e Corn
e
li
update task tr
e
e
commit
|
commitdiff
|
tree
2017-06-12
Joe Corneli
update fr
o
m m
i
xed mode collab
s
e
s
sion June
12
commit
|
commitdiff
|
tree
2017-06-11
Joe
Corneli
added Future
Work f
r
om paper and other s
m
al
l
c
h
an
g
es
commit
|
commitdiff
|
tree
2017-06-01
Joe C
o
rneli
commit
commit
|
commitdiff
|
tree
2017-05-31
Joe
C
orneli
new paragrap
h
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
comme
n
t
u
n-
u
seful
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
Corn
e
l
i
notes from our conversa
t
ion
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some
m
ore
commit
|
commitdiff
|
tree
2017-05-31
Joe
C
or
n
eli
mi
n
or
commit
|
commitdiff
|
tree
2017-05-31
J
o
e Corneli
some content fo
r
S
ection 4
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
mino
r
commit
|
commitdiff
|
tree
2017-05-30
Joe Corn
e
l
i
check
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
small ch
a
nges prep to discuss
i
on
commit
|
commitdiff
|
tree
2017-05-30
J
oe Corneli
s
o
m
e
m
ore clean up of s
e
ction 3
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
say something abou
t
Ganesalingam a
n
d
G
ower
s
commit
|
commitdiff
|
tree
2017-05-30
Joe Cornel
i
chase
thr
o
u
g
h section 3 dr
a
ft
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
fix quote
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
one
minor fix
commit
|
commitdiff
|
tree
2017-05-29
J
oe
Corneli
cl
e
an up
sec
t
ion 2, more references
commit
|
commitdiff
|
tree
2017-05-29
J
o
e
Corneli
ad
d
so
m
e stuff
i
n my sectio
n
and a f
e
w
corrections
commit
|
commitdiff
|
tree
2017-05-27
Joe
Corneli
up
d
a
t
e slig
h
tl
y
commit
|
commitdiff
|
tree
2017-05-27
Joe Corn
e
li
add revised outline
commit
|
commitdiff
|
tree
2017-05-27
Joe
C
orneli
a
dd farm doc
commit
|
commitdiff
|
tree
2017-05-26
J
oe Co
r
neli
u
p
da
t
e
scheme submissi
o
n
commit
|
commitdiff
|
tree
2017-05-25
J
o
e
Corneli
ad
d
subbranches
commit
|
commitdiff
|
tree
2017-05-25
J
o
e
Cor
n
eli
fix org
g
rammar
commit
|
commitdiff
|
tree
2017-05-25
Joe Cor
n
eli
ad
d
pi
c
tures
commit
|
commitdiff
|
tree
2017-05-22
Joe Corneli
s
pacing
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
indent code
commit
|
commitdiff
|
tree
2017-05-21
Joe C
o
rneli
copy results from col
l
aborative session May 20
commit
|
commitdiff
|
tree
2017-05-20
J
oe Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-20
J
o
e Corn
e
li
some more
e
diting
commit
|
commitdiff
|
tree
2017-05-20
Joe Corneli
so
m
e
editing
commit
|
commitdiff
|
tree
2017-05-16
Joe Corneli
add robot example
commit
|
commitdiff
|
tree
2017-05-16
Joe Corn
e
l
i
links
to non
-
work
i
n
g examples
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
fix
t
ypo thro
u
ghout
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
a
d
d gowers 2012 example
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add MPM example
commit
|
commitdiff
|
tree
2017-05-13
Joe Corne
l
i
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more r
e
arrangements
commit
|
commitdiff
|
tree
2017-05-12
J
o
e
Corneli
more clarifications
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
Merge branch 'mo
b
' of git
:
//repo
.
o
r
.
cz/arxan
a
into mob
commit
|
commitdiff
|
tree
2017-05-12
Joe Cor
n
eli
c
lean up
commit
|
commitdiff
|
tree
2017-05-12
Joe Corne
l
i
add
refs
commit
|
commitdiff
|
tree
2017-05-06
Joe Corneli
initial
c
ommi
t
of o
r
g
f
ile
commit
|
commitdiff
|
tree
2013-10-12
Joe Corneli
R
evi
s
e a
r
xana
.
o
rg with m
o
r
e struc
t
ure
.
commit
|
commitdiff
|
tree
2013-10-12
Joe Corneli
m
o
ve org
f
ile to a m
o
r
e se
n
sible name
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
Corneli
P
ret
t
y
muc
h
com
p
lete draft of homepag
e
is now done
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
Corne
l
i
m
ake
a
m
ore su
c
cinct README
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add
h
one
y
-demo
.
tex
commit
|
commitdiff
|
tree
2013-03-29
J
o
e Corneli
Update lice
n
se
commit
|
commitdiff
|
tree
2013-03-29
Joe Cor
n
eli
Add schol
i
u
m
pr
o
gramming and search examples
from Ray
commit
|
commitdiff
|
tree
2013-03-29
Joe Cor
n
eli
Incorpor
a
t
e
ou
r
initial taskli
s
t
as a
.
org
f
i
le
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add 2005 version of Arxana
commit
|
commitdiff
|
tree
next