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 Corneli
Me
r
g
e branch 'mob'
commit
|
commitdiff
|
tree
2017-09-07
Joe Corneli
simplify iat
c
slid
e
s
commit
|
commitdiff
|
tree
2017-09-07
Joe Corneli
mo
v
e
c
ontents
commit
|
commitdiff
|
tree
2017-09-07
Joe Cornel
i
f
i
nish
p
ass
t
hrough slid
e
s
commit
|
commitdiff
|
tree
2017-09-06
Joe Corneli
save progress
commit
|
commitdiff
|
tree
2017-09-06
Joe Corneli
working
on the farm t
a
l
k
commit
|
commitdiff
|
tree
2017-09-05
Joe
C
orneli
farm-tal
k
.
org minor changes
commit
|
commitdiff
|
tree
2017-09-05
Joe Corneli
narrative
commit
|
commitdiff
|
tree
2017-09-05
J
o
e Co
r
neli
initial (very s
p
are) draft of th
e
FARM talk NOW
commit
|
commitdiff
|
tree
2017-09-05
J
oe Corne
l
i
in
i
tial
(
very s
p
are)
d
raft of
the FARM
talk
commit
|
commitdiff
|
tree
2017-09-03
Joe Corneli
Me
r
ge branch
'master' of https://repo
.
or
.
cz/arxan
a
commit
|
commitdiff
|
tree
2017-09-03
Joe Cor
n
el
i
fix readme
commit
|
commitdiff
|
tree
2017-09-03
J
oe Corn
e
li
adjust REA
D
ME
commit
|
commitdiff
|
tree
2017-09-03
Joe Corneli
u
pdate talk
commit
|
commitdiff
|
tree
2017-09-02
Joe
C
o
rneli
update
commit
|
commitdiff
|
tree
2017-09-02
J
o
e
Corne
l
i
sum
m
a
r
y & future work
commit
|
commitdiff
|
tree
2017-09-02
Joe
C
orneli
upda
t
e
org file
commit
|
commitdiff
|
tree
2017-09-02
Joe
C
orne
l
i
update i
m
ages
commit
|
commitdiff
|
tree
2017-09-02
Joe C
o
r
n
eli
upd
a
te
c
ontent
commit
|
commitdiff
|
tree
2017-09-02
Jo
e
Cor
n
e
l
i
add
outline of
S
cheme ta
l
k
commit
|
commitdiff
|
tree
2017-08-28
J
o
e Corneli
add
verbal comman
d
to heade
r
commit
|
commitdiff
|
tree
2017-08-28
Joe
C
or
n
eli
M
erge branch 'm
o
b' of
git://rep
o
.
or
.
c
z
/arxana
i
nto mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Cornel
i
introd
u
c
e
v
e
rbal co
m
mand
commit
|
commitdiff
|
tree
2017-08-20
Joe Corneli
initial exam
p
le of a parser
commit
|
commitdiff
|
tree
2017-08-20
J
o
e
C
orneli
cor
r
ect typ
o
in arxana-reset-plex
u
s
commit
|
commitdiff
|
tree
2017-08-19
J
o
e Corneli
slightly
change todo list
commit
|
commitdiff
|
tree
2017-08-05
Joe C
o
rneli
Revise this to reflect
c
urrent status
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
move honey-sp
e
c
.
org to
.
/org/
commit
|
commitdiff
|
tree
2017-08-01
J
oe Corneli
re
o
rgani
z
e TODO it
e
ms
commit
|
commitdiff
|
tree
2017-07-25
J
oe Corn
e
li
chan
g
e
add-nema argument order in spec
commit
|
commitdiff
|
tree
2017-07-12
Joe
Corneli
starting to wor
k
on display-doc
u
m
ent
commit
|
commitdiff
|
tree
2017-07-12
Joe
C
orneli
some add
e
d parens in this file
commit
|
commitdiff
|
tree
2017-07-12
Joe Corn
e
li
i
ni
t
ia
l
work
i
n
g ar
t
icle browser
bas
e
d on new nemas
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
f
i
x
paren
commit
|
commitdiff
|
tree
2017-07-11
Jo
e
Corn
e
li
wh
i
tespace
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
Merge branch 'mob' of git://r
e
po
.
or
.
cz/
a
rxana int
o
mob
commit
|
commitdiff
|
tree
2017-07-11
Joe C
o
rnel
i
rearrange slightly
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
add IATC+C
D
repres
e
nta
t
ions
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
document
a
tion chan
g
e
s
commit
|
commitdiff
|
tree
2017-07-10
J
oe Corneli
basic
working ve
r
si
o
n of
g
et-n
a
mes
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
initial working definition for triple
s
-given-beginning
et
c
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
minor chang
e
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fully f
i
x i
m
port c
o
de co
n
tinuat
i
on
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
f
i
x im
p
ort code
c
ontinuation
commit
|
commitdiff
|
tree
2017-07-10
Joe Cor
n
eli
impo
r
t
a
nt
f
ix in
a
dd-nema - Update t
h
e cou
n
ter for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
d
o
cumentation c
h
a
n
ges
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
rneli
revise
iterator functions
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
re
o
rder filtering f
u
nctions, ajust filter-plexus
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
rneli
reorde
r
bul
k
vs i
n
dividual operati
o
ns
commit
|
commitdiff
|
tree
2017-07-10
Joe Corn
e
li
call next-unique-id i
n
a
d
d
-en-mass
e
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
whitespa
c
e,
next-
u
nique-id
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corn
e
li
begin to revise triple access
f
unc
t
ions
commit
|
commitdiff
|
tree
2017-07-10
Joe Cornel
i
fix some minor
i
ssu
e
s with impor
t
ing
commit
|
commitdiff
|
tree
2017-07-07
J
oe C
o
rneli
fix subsection
commit
|
commitdiff
|
tree
2017-07-04
Joe C
o
rneli
chase th
r
ough downcasing
Defun
commit
|
commitdiff
|
tree
2017-07-04
J
o
e
Corneli
fix mi
n
o
r
space issue
commit
|
commitdiff
|
tree
2017-07-04
Joe
C
ornel
i
so
m
e more editing of the merged docume
n
t, w
i
t
h
s
ome
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
Corne
l
i
quick edit
i
ng pass to su
p
erfici
a
lly i
n
tegrate HO
N
E
Y
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
J
oe Corneli
up
d
ate task t
r
ee
commit
|
commitdiff
|
tree
2017-06-12
J
o
e
Cornel
i
u
p
date from mixed mode c
o
lla
b
s
e
ssion
June
1
2
commit
|
commitdiff
|
tree
2017-06-11
Joe
C
orn
e
li
a
dded Future
Work
f
rom paper and other
small changes
commit
|
commitdiff
|
tree
2017-06-01
Joe Corneli
commit
commit
|
commitdiff
|
tree
2017-05-31
Joe
C
orne
l
i
n
ew paragraph
commit
|
commitdiff
|
tree
2017-05-31
J
o
e C
o
r
n
eli
comment un-us
e
f
ul
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
C
o
rneli
notes from our conversation
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
some
m
ore
commit
|
commitdiff
|
tree
2017-05-31
Joe
Corneli
minor
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
s
ome conten
t
for Section 4
commit
|
commitdiff
|
tree
2017-05-31
Joe Corn
e
li
minor
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
che
c
k
commit
|
commitdiff
|
tree
2017-05-30
Joe Corne
l
i
sm
a
ll cha
n
g
es
p
rep to
d
iscu
s
sion
commit
|
commitdiff
|
tree
2017-05-30
Jo
e
Corneli
some
m
o
r
e clean up
o
f
section 3
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
say somet
h
ing a
b
o
ut Ganesaling
a
m and Gowers
commit
|
commitdiff
|
tree
2017-05-30
Joe
C
o
rneli
chase
t
h
r
ough section
3
draft
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
f
i
x
quote
commit
|
commitdiff
|
tree
2017-05-29
Jo
e
C
o
r
ne
l
i
one min
o
r
fix
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
c
l
e
a
n up section 2, more ref
e
rence
s
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
a
dd some stuff in my section
a
n
d
a few
co
r
rec
t
ions
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
upda
t
e sligh
t
l
y
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
ad
d
rev
i
sed outline
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
add farm doc
commit
|
commitdiff
|
tree
2017-05-26
Joe
C
orneli
update sch
e
m
e
submission
commit
|
commitdiff
|
tree
2017-05-25
J
oe Co
r
neli
add subbr
a
nches
commit
|
commitdiff
|
tree
2017-05-25
Joe Corneli
fix o
r
g grammar
commit
|
commitdiff
|
tree
2017-05-25
Joe C
o
r
n
eli
add
p
i
c
tures
commit
|
commitdiff
|
tree
2017-05-22
Joe Corneli
spac
i
n
g
commit
|
commitdiff
|
tree
2017-05-21
Joe C
o
r
n
eli
indent code
commit
|
commitdiff
|
tree
2017-05-21
J
oe Corneli
c
o
py r
e
sults fr
o
m collaborative se
s
sion May 20
commit
|
commitdiff
|
tree
2017-05-20
Joe Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-20
Joe Co
r
neli
some more
e
diting
commit
|
commitdiff
|
tree
2017-05-20
Joe Cor
n
e
li
some editing
commit
|
commitdiff
|
tree
2017-05-16
Joe Co
r
n
eli
a
dd r
o
bot exampl
e
commit
|
commitdiff
|
tree
2017-05-16
J
oe Corne
l
i
links
to non
-
w
or
k
ing examples
commit
|
commitdiff
|
tree
2017-05-15
Joe
C
o
rneli
fix typo
t
hroug
h
o
u
t
commit
|
commitdiff
|
tree
2017-05-15
Joe
Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe
Corn
e
li
add gowers 2012 example
commit
|
commitdiff
|
tree
2017-05-15
Joe C
o
rnel
i
add MPM ex
a
mpl
e
commit
|
commitdiff
|
tree
2017-05-13
Joe
Corneli
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more rearrange
m
ent
s
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more
c
l
a
r
ifications
commit
|
commitdiff
|
tree
next