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
simplify iatc slides
2017-09-07
Joe Corn
e
li
simplify iatc s
l
ide
s
commit
|
commitdiff
|
tree
2017-09-07
J
o
e C
o
r
nel
i
move contents
commit
|
commitdiff
|
tree
2017-09-07
Joe Cor
n
e
li
finish pass th
r
ough slides
commit
|
commitdiff
|
tree
2017-09-06
Joe Corneli
save progre
s
s
commit
|
commitdiff
|
tree
2017-09-06
Joe Corn
e
li
working on the
f
a
rm talk
commit
|
commitdiff
|
tree
2017-09-05
Joe Corneli
farm-
t
alk
.
org minor
c
hanges
commit
|
commitdiff
|
tree
2017-09-05
Joe
C
orneli
narrative
commit
|
commitdiff
|
tree
2017-09-05
J
o
e
C
orneli
initial (very
s
pare)
d
raft of the FARM talk NOW
commit
|
commitdiff
|
tree
2017-09-05
Joe Co
r
neli
initial (very spar
e
) draft of
t
he FARM ta
l
k
commit
|
commitdiff
|
tree
2017-09-03
Jo
e
Corneli
update
t
al
k
commit
|
commitdiff
|
tree
2017-09-02
Joe
C
o
rne
l
i
update
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
summary & future wo
r
k
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
update org f
i
l
e
commit
|
commitdiff
|
tree
2017-09-02
Joe Co
r
neli
upd
a
te images
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
u
pdate content
commit
|
commitdiff
|
tree
2017-09-02
Joe Cor
n
eli
a
d
d
o
utline of
Sc
h
eme tal
k
commit
|
commitdiff
|
tree
2017-08-28
Joe Corne
l
i
add
v
e
r
b
a
l
command to header
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
Merge bra
n
ch 'm
o
b' of git://repo
.
or
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
introduce verbal comma
n
d
commit
|
commitdiff
|
tree
2017-08-20
Joe Corneli
initial examp
l
e of
a parser
commit
|
commitdiff
|
tree
2017-08-20
Joe Corneli
co
r
rect typo
i
n
arx
a
na-reset-pl
e
xus
commit
|
commitdiff
|
tree
2017-08-19
Joe Corneli
s
lightly change todo list
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
Revi
s
e
this to reflect
c
u
rrent status
commit
|
commitdiff
|
tree
2017-08-05
Jo
e
Corneli
move honey-spec
.
or
g
to
.
/
o
r
g
/
commit
|
commitdiff
|
tree
2017-08-01
Joe Corneli
reorgan
i
ze
TODO items
commit
|
commitdiff
|
tree
2017-07-25
Joe
C
orneli
change
add-n
e
ma a
r
gu
m
ent order in spec
commit
|
commitdiff
|
tree
2017-07-12
J
oe
C
ornel
i
starting
t
o wor
k
on display-docu
m
e
nt
commit
|
commitdiff
|
tree
2017-07-12
Joe C
o
rneli
some
added
par
e
n
s in this file
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
initial working article browser based
on new ne
m
as
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Joe
Corneli
f
ix pare
n
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
w
h
ite
s
pac
e
commit
|
commitdiff
|
tree
2017-07-11
Joe
C
o
rnel
i
Merge bra
n
ch 'mob' of gi
t
://
r
e
p
o
.
or
.
cz/arxana i
n
to mob
commit
|
commitdiff
|
tree
2017-07-11
J
o
e Corneli
r
e
a
r
r
a
nge slightly
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
a
dd
IATC+CD represent
a
tions
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
docum
e
ntation c
h
anges
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orneli
basic work
i
n
g version
o
f get-names
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
initi
a
l wo
r
king definition for triples-given-beginning etc
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
min
o
r ch
a
ng
e
s
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
C
orneli
f
ul
l
y fix im
p
ort cod
e
continua
t
ion
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
f
i
x import code continu
a
tion
commit
|
commitdiff
|
tree
2017-07-10
Joe Cor
n
eli
important f
i
x
in ad
d
-nema
- Update the counter for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
documentat
i
on changes
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
revise i
t
era
t
o
r
functions
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orneli
r
eorder f
i
lte
r
ing funct
i
ons,
a
ju
s
t f
i
lter-plexus
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
reord
e
r
bulk vs individual operations
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
call next-
u
nique-id in add-en-m
a
s
se
commit
|
commitdiff
|
tree
2017-07-10
J
o
e Corneli
w
h
i
tespace, next-uni
q
u
e-id
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
b
egin to revise triple
access functions
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
f
i
x some m
i
nor iss
u
es with
i
mp
o
rting
commit
|
commitdiff
|
tree
2017-07-07
Joe Cornel
i
fix s
u
bsection
commit
|
commitdiff
|
tree
2017-07-04
J
oe C
o
rne
l
i
chase
t
hro
u
g
h dow
n
ca
s
ing De
f
un
commit
|
commitdiff
|
tree
2017-07-04
Joe Corn
e
li
fix minor sp
a
ce issu
e
commit
|
commitdiff
|
tree
2017-07-04
Joe Corn
e
li
so
m
e more
e
d
i
ting of the me
r
ged docum
e
nt, wi
t
h some
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Joe
Corneli
q
u
ick e
d
itin
g
pass to s
u
perficially in
t
egrate HO
N
EY
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
J
oe Corneli
update tas
k
tree
commit
|
commitdiff
|
tree
2017-06-12
Joe Corneli
update
f
rom mixed
m
o
d
e
c
o
llab session June 12
commit
|
commitdiff
|
tree
2017-06-11
Joe Co
r
neli
adde
d
Fu
t
ur
e
Wor
k
fro
m
pap
e
r and
o
ther
small changes
commit
|
commitdiff
|
tree
2017-06-01
Joe Corne
l
i
comm
i
t
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
Co
r
neli
new
paragraph
commit
|
commitdiff
|
tree
2017-05-31
Joe Co
r
neli
comment un-use
f
ul
commit
|
commitdiff
|
tree
2017-05-31
Joe
Co
r
nel
i
notes from our conversation
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some more
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
m
inor
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
Corneli
s
o
me conten
t
for S
e
cti
o
n 4
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
minor
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
c
heck
commit
|
commitdiff
|
tree
2017-05-30
J
oe Corneli
s
mall changes prep to
d
is
c
ussion
commit
|
commitdiff
|
tree
2017-05-30
J
o
e Corneli
some more
c
l
ean up of section
3
commit
|
commitdiff
|
tree
2017-05-30
Jo
e
C
orneli
s
a
y
so
m
ething about Ganesalingam and Gowers
commit
|
commitdiff
|
tree
2017-05-30
J
o
e Co
r
neli
chase thro
u
gh sect
i
on 3 draft
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
fix quote
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
one minor f
i
x
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
clean u
p
section 2, m
o
re refe
r
ences
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
add some stu
f
f in
m
y
sectio
n
and a few corrections
commit
|
commitdiff
|
tree
2017-05-27
Joe Corn
e
li
update
s
l
i
g
htly
commit
|
commitdiff
|
tree
2017-05-27
Joe Corn
e
li
add revis
e
d
outline
commit
|
commitdiff
|
tree
2017-05-27
Joe
C
orn
e
li
add farm
d
oc
commit
|
commitdiff
|
tree
2017-05-26
Joe C
o
rneli
update scheme submission
commit
|
commitdiff
|
tree
2017-05-25
J
o
e C
o
rneli
ad
d
s
u
bbranch
e
s
commit
|
commitdiff
|
tree
2017-05-25
Joe Corne
l
i
fi
x
org grammar
commit
|
commitdiff
|
tree
2017-05-25
J
o
e Cor
n
eli
add pictures
commit
|
commitdiff
|
tree
2017-05-22
Joe Co
r
n
eli
spacing
commit
|
commitdiff
|
tree
2017-05-21
Joe Co
r
n
e
l
i
in
d
ent code
commit
|
commitdiff
|
tree
2017-05-21
J
oe Corneli
copy result
s
from
c
ollabo
r
a
t
i
ve session May
20
commit
|
commitdiff
|
tree
2017-05-20
Joe Corn
e
li
fix typ
o
commit
|
commitdiff
|
tree
2017-05-20
Joe Corn
e
li
some mor
e
ed
i
ting
commit
|
commitdiff
|
tree
2017-05-20
Joe Corneli
som
e
editing
commit
|
commitdiff
|
tree
2017-05-16
Joe Cor
n
eli
add ro
b
ot example
commit
|
commitdiff
|
tree
2017-05-16
Joe
C
or
n
eli
li
n
ks to non-working examples
commit
|
commitdiff
|
tree
2017-05-15
Joe Co
r
n
e
li
fix typo th
r
oughout
commit
|
commitdiff
|
tree
2017-05-15
Joe
C
orneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add gowers 2012 exa
m
p
le
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add MPM examp
l
e
commit
|
commitdiff
|
tree
2017-05-13
Jo
e
Co
r
n
eli
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more re
a
rrangem
e
nts
commit
|
commitdiff
|
tree
2017-05-12
J
oe Corneli
more c
l
arificati
o
ns
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
Corneli
Merge branch 'mob' of git://r
e
po
.
or
.
cz/arxana i
n
to
m
ob
commit
|
commitdiff
|
tree
2017-05-12
Joe C
o
rneli
clean up
commit
|
commitdiff
|
tree
2017-05-12
Joe Co
r
neli
a
d
d refs
commit
|
commitdiff
|
tree
2017-05-06
Joe Corneli
ini
t
ial commit of org file
commit
|
commitdiff
|
tree
next