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
narrative
2017-09-05
Joe Corne
l
i
narrative
commit
|
commitdiff
|
tree
2017-09-05
J
oe C
o
r
n
e
li
initial
(very spar
e
) draft
o
f
the FARM talk NOW
commit
|
commitdiff
|
tree
2017-09-05
J
oe Corneli
in
i
t
ial (very
s
p
ar
e
) dr
a
ft of the FAR
M
tal
k
commit
|
commitdiff
|
tree
2017-09-03
Joe Corneli
upda
t
e
talk
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
u
p
date
commit
|
commitdiff
|
tree
2017-09-02
Joe Cornel
i
summary & futu
r
e work
commit
|
commitdiff
|
tree
2017-09-02
Joe Corn
e
li
update o
r
g file
commit
|
commitdiff
|
tree
2017-09-02
Joe Cornel
i
upda
t
e
i
m
ages
commit
|
commitdiff
|
tree
2017-09-02
Joe Cor
n
eli
update content
commit
|
commitdiff
|
tree
2017-09-02
J
o
e
C
ornel
i
add outli
n
e of Scheme t
a
lk
commit
|
commitdiff
|
tree
2017-08-28
Joe C
o
rneli
a
d
d
verbal c
o
m
m
a
nd to h
e
ad
e
r
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
Merge branch 'mo
b
' of git://
r
epo
.
o
r
.
cz
/
arxan
a
into mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
i
n
trodu
c
e verb
a
l
c
ommand
commit
|
commitdiff
|
tree
2017-08-20
Joe
C
orneli
initial exam
p
le of
a parser
commit
|
commitdiff
|
tree
2017-08-20
Joe Corneli
correct ty
p
o
i
n arxan
a
-
r
eset-p
l
exus
commit
|
commitdiff
|
tree
2017-08-19
Joe
Corneli
slightly change todo lis
t
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
Revise this to refle
c
t current
status
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
move
honey-spec
.
or
g
to
.
/o
r
g/
commit
|
commitdiff
|
tree
2017-08-01
Joe Corn
e
li
reor
g
a
nize
T
ODO items
commit
|
commitdiff
|
tree
2017-07-25
Joe Cor
n
el
i
cha
n
ge
a
dd-nema ar
g
ument order in
s
p
e
c
commit
|
commitdiff
|
tree
2017-07-12
Joe
C
orneli
starting to w
o
rk on dis
p
lay-documen
t
commit
|
commitdiff
|
tree
2017-07-12
Joe C
o
rneli
s
ome added parens in this file
commit
|
commitdiff
|
tree
2017-07-12
Jo
e
C
o
rn
e
li
i
nitial
wor
k
ing art
i
cle browser based on new nemas
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Joe
Corneli
fi
x
pa
r
e
n
commit
|
commitdiff
|
tree
2017-07-11
Joe Cornel
i
whitespace
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
Merge bra
n
ch 'mob' of
git://repo
.
or
.
cz/
a
rxana
in
t
o
mob
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
rearrange
slightly
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
add
I
AT
C
+CD representations
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
docum
e
n
t
ation changes
commit
|
commitdiff
|
tree
2017-07-10
Joe Corne
l
i
basic
w
orking
v
e
r
s
i
on of ge
t
-n
a
mes
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
init
i
a
l workin
g
d
efiniti
o
n fo
r
triples-given-beginning etc
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
minor
c
hanges
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orneli
fully fix import code conti
n
uati
o
n
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
fix
i
mport code continuation
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corn
e
l
i
impo
r
tant fix in a
d
d
-n
e
ma - Update the counter for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
documenta
t
ion ch
a
nges
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
r
e
vis
e
iterator functions
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
reorder filtering functions, ajust filter-plexus
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
reorder bulk vs individ
u
al operati
o
ns
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
rne
l
i
call next-
u
niqu
e
-id
in add
-
e
n-m
a
sse
commit
|
commitdiff
|
tree
2017-07-10
Joe Corne
l
i
wh
i
tes
p
ace
,
next-unique-id
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
begi
n
t
o
revise trip
l
e access f
u
nctions
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
fix some minor issues with importing
commit
|
commitdiff
|
tree
2017-07-07
Jo
e
Corneli
fix subsection
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
chas
e
t
h
rough downcasi
n
g Def
u
n
commit
|
commitdiff
|
tree
2017-07-04
Joe C
o
r
n
eli
f
ix minor space i
s
s
u
e
commit
|
commitdiff
|
tree
2017-07-04
Joe
C
orne
l
i
s
ome more editi
n
g of the merged document, with some
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Joe
C
orn
e
li
q
u
ick editing pass to s
u
perficially in
t
egrate
H
ONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
J
oe Corneli
upd
a
te ta
s
k t
r
ee
commit
|
commitdiff
|
tree
2017-06-12
Jo
e
Corneli
update from mixed mode coll
a
b session Ju
n
e 12
commit
|
commitdiff
|
tree
2017-06-11
Joe Corneli
added Future Work from paper and oth
e
r small changes
commit
|
commitdiff
|
tree
2017-06-01
Jo
e
Corneli
commit
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
new p
a
rag
r
a
ph
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
comment un-u
s
efu
l
commit
|
commitdiff
|
tree
2017-05-31
Joe
C
orn
e
li
notes f
r
om
o
ur conversa
t
ion
commit
|
commitdiff
|
tree
2017-05-31
Joe
Cornel
i
s
ome
m
o
re
commit
|
commitdiff
|
tree
2017-05-31
J
oe Corneli
minor
commit
|
commitdiff
|
tree
2017-05-31
J
oe Cornel
i
some content f
o
r
S
ect
i
on 4
commit
|
commitdiff
|
tree
2017-05-31
Joe Corne
l
i
minor
commit
|
commitdiff
|
tree
2017-05-30
Joe Corn
e
li
c
h
eck
commit
|
commitdiff
|
tree
2017-05-30
Joe
C
o
r
neli
sma
l
l changes
prep to discussion
commit
|
commitdiff
|
tree
2017-05-30
Joe Corn
e
li
some more clean up of se
c
t
i
o
n
3
commit
|
commitdiff
|
tree
2017-05-30
Joe Corne
l
i
say something about
Ganes
a
lingam and Gowers
commit
|
commitdiff
|
tree
2017-05-30
Joe
Corneli
chase t
h
rough section 3 d
r
aft
commit
|
commitdiff
|
tree
2017-05-29
Joe
C
o
r
neli
fix quote
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
one m
i
n
or fix
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
clean up section 2, mor
e
re
f
erences
commit
|
commitdiff
|
tree
2017-05-29
Jo
e
C
o
rneli
a
d
d
some stuf
f
in my sectio
n
and a few correc
t
io
n
s
commit
|
commitdiff
|
tree
2017-05-27
Joe Cor
n
eli
update
sli
g
ht
l
y
commit
|
commitdiff
|
tree
2017-05-27
Joe C
o
rneli
a
dd
rev
i
sed outlin
e
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
add far
m
doc
commit
|
commitdiff
|
tree
2017-05-26
J
o
e Corneli
up
d
at
e
scheme submission
commit
|
commitdiff
|
tree
2017-05-25
J
o
e Corneli
add subb
r
a
n
ches
commit
|
commitdiff
|
tree
2017-05-25
Jo
e
Corneli
f
i
x org gram
m
ar
commit
|
commitdiff
|
tree
2017-05-25
Joe Corne
l
i
add pictures
commit
|
commitdiff
|
tree
2017-05-22
J
o
e Cor
n
eli
spac
i
ng
commit
|
commitdiff
|
tree
2017-05-21
Joe Corn
e
li
inde
n
t code
commit
|
commitdiff
|
tree
2017-05-21
Joe Cor
n
eli
cop
y
res
u
lts from collaborative sess
i
o
n May 20
commit
|
commitdiff
|
tree
2017-05-20
Joe Corneli
f
i
x
typo
commit
|
commitdiff
|
tree
2017-05-20
Joe Cornel
i
some more edit
i
n
g
commit
|
commitdiff
|
tree
2017-05-20
J
o
e
Corneli
some editing
commit
|
commitdiff
|
tree
2017-05-16
J
oe Cornel
i
add r
o
bot
e
xam
p
le
commit
|
commitdiff
|
tree
2017-05-16
Joe C
o
rne
l
i
link
s
to n
o
n-working examp
l
es
commit
|
commitdiff
|
tree
2017-05-15
Joe Co
r
neli
fix t
y
po throughout
commit
|
commitdiff
|
tree
2017-05-15
Joe Cor
n
eli
fix
typo
commit
|
commitdiff
|
tree
2017-05-15
Joe
Corneli
add gowers
2012 example
commit
|
commitdiff
|
tree
2017-05-15
Joe
Corneli
add
M
P
M
examp
l
e
commit
|
commitdiff
|
tree
2017-05-13
Joe
Corneli
clean
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
C
o
r
neli
mor
e
r
earr
a
ngeme
n
ts
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more c
l
arifications
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
Cornel
i
Me
r
ge
bra
n
ch
'
mob' of git
:
//repo
.
o
r
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-05-12
Joe Cor
n
eli
clea
n
up
commit
|
commitdiff
|
tree
2017-05-12
Joe Corn
e
li
add refs
commit
|
commitdiff
|
tree
2017-05-06
Joe Corneli
initial
c
ommit
of org file
commit
|
commitdiff
|
tree
2013-10-12
Joe
Corneli
Revis
e
arx
a
na
.
org
with more structur
e
.
commit
|
commitdiff
|
tree
2013-10-12
Joe
C
orneli
move org fi
l
e
to a more sens
i
b
le name
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Pretty much complete draft of homepag
e
is now done
commit
|
commitdiff
|
tree
2013-03-29
J
o
e Corneli
make a more succinct README
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add hone
y
-demo
.
tex
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Upd
a
t
e
l
icense
commit
|
commitdiff
|
tree
next