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
b
ranch 'mo
b
'
commit
|
commitdiff
|
tree
2017-09-07
Joe Corneli
simp
l
i
f
y iatc slides
commit
|
commitdiff
|
tree
2017-09-07
Joe C
o
rne
l
i
move contents
commit
|
commitdiff
|
tree
2017-09-07
Joe
C
orneli
finish pass through slid
e
s
commit
|
commitdiff
|
tree
2017-09-06
J
o
e Corneli
save progr
e
ss
commit
|
commitdiff
|
tree
2017-09-06
Joe Corneli
working
on the farm
t
alk
commit
|
commitdiff
|
tree
2017-09-05
Jo
e
Cornel
i
farm-talk
.
org minor
c
hang
e
s
commit
|
commitdiff
|
tree
2017-09-05
Joe Corneli
n
arrat
i
ve
commit
|
commitdiff
|
tree
2017-09-05
Joe Corneli
initia
l
(very
s
p
a
re) d
r
aft of
t
he FA
R
M talk NOW
commit
|
commitdiff
|
tree
2017-09-05
Joe Corneli
initial (very spare
)
draft o
f
t
h
e FAR
M
t
a
lk
commit
|
commitdiff
|
tree
2017-09-03
Joe Corn
e
li
Merge branch 'm
a
s
t
er
'
of htt
p
s:/
/
repo
.
or
.
cz/arxana
commit
|
commitdiff
|
tree
2017-09-03
J
o
e Corneli
f
ix r
e
adme
commit
|
commitdiff
|
tree
2017-09-03
Joe Co
r
neli
adj
u
st R
E
A
D
ME
commit
|
commitdiff
|
tree
2017-09-03
Joe Corneli
upd
a
t
e
t
alk
commit
|
commitdiff
|
tree
2017-09-02
J
oe Corneli
u
pdat
e
commit
|
commitdiff
|
tree
2017-09-02
Joe Corne
l
i
summ
a
ry & future wo
r
k
commit
|
commitdiff
|
tree
2017-09-02
Joe Cor
n
eli
updat
e
org file
commit
|
commitdiff
|
tree
2017-09-02
Joe
Corn
e
li
update im
a
ges
commit
|
commitdiff
|
tree
2017-09-02
Joe Cor
n
eli
update content
commit
|
commitdiff
|
tree
2017-09-02
Joe Corneli
a
d
d outline o
f
S
ch
e
m
e tal
k
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
a
d
d
verbal
c
om
m
an
d
to head
e
r
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
Merge
b
ra
n
ch '
m
ob' of git://rep
o
.
or
.
cz/arxana into
mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Co
r
neli
int
r
oduc
e
verbal command
commit
|
commitdiff
|
tree
2017-08-20
Joe C
o
rneli
initial ex
a
mple of a parser
commit
|
commitdiff
|
tree
2017-08-20
Joe Corn
e
l
i
correct typo in a
r
xana-r
e
set-plexus
commit
|
commitdiff
|
tree
2017-08-19
J
o
e
C
orne
l
i
sli
g
htl
y
c
hange to
d
o l
i
st
commit
|
commitdiff
|
tree
2017-08-05
Jo
e
Corn
e
li
Rev
i
se this to reflect current statu
s
commit
|
commitdiff
|
tree
2017-08-05
Joe Cor
n
e
l
i
move honey-s
p
e
c
.
org to
.
/
org/
commit
|
commitdiff
|
tree
2017-08-01
J
o
e Cornel
i
r
eorg
a
ni
z
e
TODO items
commit
|
commitdiff
|
tree
2017-07-25
Joe Corneli
change
a
d
d
-nema argument order in spec
commit
|
commitdiff
|
tree
2017-07-12
Joe
C
o
r
n
eli
sta
r
ting to work on di
s
play-document
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
some
a
d
d
e
d
pa
r
ens i
n
this fi
l
e
commit
|
commitdiff
|
tree
2017-07-12
Jo
e
Cornel
i
init
i
al w
o
rking
a
r
ticle browser b
a
sed on new nem
a
s
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Jo
e
Corneli
fix pa
r
en
commit
|
commitdiff
|
tree
2017-07-11
Joe Co
r
neli
whitespace
commit
|
commitdiff
|
tree
2017-07-11
Joe Cornel
i
Merge
b
ranch 'mob' of g
i
t://repo
.
or
.
cz/arx
a
na in
t
o
m
ob
commit
|
commitdiff
|
tree
2017-07-11
Joe
Corne
l
i
rearr
a
n
g
e sl
i
ghtly
commit
|
commitdiff
|
tree
2017-07-11
Joe Corn
e
li
add IATC+CD repres
e
n
tation
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corn
e
li
doc
u
m
e
n
t
atio
n
changes
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
b
a
sic working ver
s
ion of get-names
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orneli
initial working d
e
f
i
ni
t
ion fo
r
triple
s
-given-be
g
i
n
ning etc
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
minor changes
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
full
y
fix imp
o
rt
co
d
e continuati
o
n
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fi
x
impor
t
code c
o
n
tinuation
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
import
a
n
t
fix
i
n
a
d
d-nema -
U
p
d
a
t
e th
e
counter for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
documentation ch
a
ng
e
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
revise i
t
erator functions
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
r
e
order filtering functions,
ajus
t
fi
l
te
r
-plexus
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
reorder bulk v
s
indiv
i
dual ope
r
a
ti
o
ns
commit
|
commitdiff
|
tree
2017-07-10
J
o
e Corneli
cal
l
next-unique-i
d
in add
-
en-masse
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
C
o
rneli
whitesp
a
ce, next-un
i
que-id
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
begin to rev
i
s
e triple acc
e
ss fu
n
ct
i
ons
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
fix some
m
inor iss
u
es with i
m
porting
commit
|
commitdiff
|
tree
2017-07-07
Joe Corneli
fix subsection
commit
|
commitdiff
|
tree
2017-07-04
Joe
Corneli
c
h
a
s
e
through
down
c
asing Def
u
n
commit
|
commitdiff
|
tree
2017-07-04
J
o
e
C
o
rneli
fix m
i
n
o
r space issue
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
s
o
m
e more editing of the merged
d
o
cume
n
t, wi
t
h
some
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
J
o
e
C
orneli
quick edi
t
i
n
g
p
ass to super
f
i
cially integrat
e
HO
N
EY
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
Joe Corne
l
i
update task tr
e
e
commit
|
commitdiff
|
tree
2017-06-12
Joe Corneli
u
p
dat
e
fr
o
m mixed mode collab sessio
n
J
u
n
e
12
commit
|
commitdiff
|
tree
2017-06-11
J
o
e Corne
l
i
adde
d
Future Work from paper and other
s
mall changes
commit
|
commitdiff
|
tree
2017-06-01
J
o
e Corneli
com
m
i
t
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
C
o
rneli
n
e
w par
a
grap
h
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
com
m
e
nt un-usefu
l
commit
|
commitdiff
|
tree
2017-05-31
Joe
C
orneli
notes fr
o
m our c
o
nv
e
r
sa
t
ion
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some mor
e
commit
|
commitdiff
|
tree
2017-05-31
Joe Co
r
neli
mino
r
commit
|
commitdiff
|
tree
2017-05-31
Joe Co
r
nel
i
some c
o
ntent f
o
r Section 4
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
m
i
no
r
commit
|
commitdiff
|
tree
2017-05-30
J
o
e Corn
e
li
c
heck
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
smal
l
changes prep to d
i
scussion
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
s
ome more clea
n
up of se
c
tion 3
commit
|
commitdiff
|
tree
2017-05-30
Joe Cornel
i
s
a
y something about Gan
e
sa
l
ingam and Gowers
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
cha
s
e thr
o
ugh section 3
d
raft
commit
|
commitdiff
|
tree
2017-05-29
Joe
Corneli
f
i
x quo
t
e
commit
|
commitdiff
|
tree
2017-05-29
J
o
e C
o
rneli
one minor
f
ix
commit
|
commitdiff
|
tree
2017-05-29
J
o
e Co
r
n
e
li
clean up
sec
t
ion 2, more referenc
e
s
commit
|
commitdiff
|
tree
2017-05-29
Joe Cornel
i
add some stuff in my section
a
n
d
a few co
r
recti
o
ns
commit
|
commitdiff
|
tree
2017-05-27
Jo
e
Corneli
upd
a
te slig
h
tly
commit
|
commitdiff
|
tree
2017-05-27
J
o
e
Corneli
add rev
i
sed
outline
commit
|
commitdiff
|
tree
2017-05-27
J
o
e
Corneli
add farm doc
commit
|
commitdiff
|
tree
2017-05-26
Jo
e
Corneli
update scheme submission
commit
|
commitdiff
|
tree
2017-05-25
Joe Corneli
a
dd s
u
b
b
ranches
commit
|
commitdiff
|
tree
2017-05-25
Joe Corneli
fix org gr
a
mmar
commit
|
commitdiff
|
tree
2017-05-25
Joe
Corneli
add
pictures
commit
|
commitdiff
|
tree
2017-05-22
Joe C
o
rneli
spaci
n
g
commit
|
commitdiff
|
tree
2017-05-21
Joe Cor
n
el
i
i
n
dent code
commit
|
commitdiff
|
tree
2017-05-21
J
o
e Corn
e
l
i
copy resu
l
ts f
r
om collaborative
s
es
s
ion
M
ay 20
commit
|
commitdiff
|
tree
2017-05-20
J
o
e Corneli
f
i
x
typo
commit
|
commitdiff
|
tree
2017-05-20
Joe Cor
n
eli
some more editi
n
g
commit
|
commitdiff
|
tree
2017-05-20
J
oe Co
r
n
eli
some
editing
commit
|
commitdiff
|
tree
2017-05-16
J
oe Cor
n
eli
add robot ex
a
mple
commit
|
commitdiff
|
tree
2017-05-16
Joe
C
orneli
l
inks to non-
w
orki
n
g examp
l
es
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
fix typo
throug
h
out
commit
|
commitdiff
|
tree
2017-05-15
Joe C
o
rneli
f
ix
t
ypo
commit
|
commitdiff
|
tree
2017-05-15
Joe C
o
rneli
add
gowers 2012 example
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
add MPM exa
m
p
l
e
commit
|
commitdiff
|
tree
2017-05-13
Joe Corneli
cle
a
n
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more
rearrangements
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more clarificatio
n
s
commit
|
commitdiff
|
tree
next