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
fix readme
2017-09-03
Joe Corneli
fi
x
readme
commit
|
commitdiff
|
tree
2017-09-03
Joe Co
r
neli
update
t
a
lk
commit
|
commitdiff
|
tree
2017-09-02
J
oe Corn
e
l
i
update
commit
|
commitdiff
|
tree
2017-09-02
Joe Co
r
neli
summ
a
r
y & future work
commit
|
commitdiff
|
tree
2017-09-02
J
oe Co
r
neli
update
o
rg f
i
le
commit
|
commitdiff
|
tree
2017-09-02
J
oe Corneli
update images
commit
|
commitdiff
|
tree
2017-09-02
Joe Corn
e
l
i
update content
commit
|
commitdiff
|
tree
2017-09-02
J
oe Co
r
neli
add outline of Scheme
t
alk
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
add
v
e
rbal command to he
a
der
commit
|
commitdiff
|
tree
2017-08-28
J
o
e
C
orneli
Merge bran
c
h 'mob'
of git://rep
o
.
or
.
c
z
/
arxana
into
mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Corn
e
li
i
n
trodu
c
e verbal command
commit
|
commitdiff
|
tree
2017-08-20
J
oe
Co
r
n
eli
initi
a
l examp
l
e of a parser
commit
|
commitdiff
|
tree
2017-08-20
J
o
e Corneli
correct
t
ypo
in
a
rxana-res
e
t-
p
lexus
commit
|
commitdiff
|
tree
2017-08-19
Jo
e
Corneli
slight
l
y
change
tod
o
list
commit
|
commitdiff
|
tree
2017-08-05
Joe Cor
n
e
li
Rev
i
se this to r
e
fl
e
ct current status
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
move honey-spec
.
org to
.
/or
g
/
commit
|
commitdiff
|
tree
2017-08-01
Joe Corneli
r
e
organize TODO items
commit
|
commitdiff
|
tree
2017-07-25
Joe Corneli
c
h
a
nge add-nema
a
rgument
order i
n
s
pec
commit
|
commitdiff
|
tree
2017-07-12
Joe Cornel
i
sta
r
ting
t
o work on display-document
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
s
o
me added paren
s
in this
f
ile
commit
|
commitdiff
|
tree
2017-07-12
Joe Corneli
i
n
itial working
a
rtic
l
e brows
e
r
base
d
on
n
ew
nem
a
s
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Jo
e
Corneli
fix paren
commit
|
commitdiff
|
tree
2017-07-11
Joe
C
orneli
w
h
itespace
commit
|
commitdiff
|
tree
2017-07-11
J
o
e C
o
rneli
Merge branch
'mob'
of
git://re
p
o
.
or
.
cz/arxan
a
into mob
commit
|
commitdiff
|
tree
2017-07-11
J
o
e Corneli
r
earrange
sli
g
htly
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
add
I
ATC+CD r
e
p
r
esentations
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Cor
n
eli
documentation cha
n
g
e
s
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Co
r
neli
basic
working version o
f
get-nam
e
s
commit
|
commitdiff
|
tree
2017-07-10
J
o
e
C
orneli
ini
t
ial w
o
rkin
g
d
efinition for
t
riples-given-beginning etc
commit
|
commitdiff
|
tree
2017-07-10
Joe Corne
l
i
m
inor changes
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fully
fix i
m
port cod
e
con
t
i
n
uation
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
fix import code
c
onti
n
uati
o
n
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
impor
t
a
n
t fix in add-nema
-
Update
t
he
c
ounter
for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
d
o
c
um
e
n
tation changes
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orn
e
li
rev
i
se i
t
era
t
or functions
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
reorde
r
f
iltering
fun
c
t
ion
s
, ajust filte
r
-plexus
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orne
l
i
reorder
b
ulk vs individual oper
a
t
ions
commit
|
commitdiff
|
tree
2017-07-10
Joe Co
r
neli
cal
l
nex
t
-unique-id in add-en-masse
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
o
r
neli
whitespac
e
, next-u
n
ique
-
id
commit
|
commitdiff
|
tree
2017-07-10
Joe Cor
n
e
li
begin t
o
revi
s
e tripl
e
a
c
c
e
ss functio
n
s
commit
|
commitdiff
|
tree
2017-07-10
Joe Corn
e
li
fix s
o
me minor i
s
sues
wit
h
importing
commit
|
commitdiff
|
tree
2017-07-07
Joe
C
o
rneli
fi
x
su
b
section
commit
|
commitdiff
|
tree
2017-07-04
Joe
Cor
n
el
i
chas
e
through
d
own
c
asing
D
efun
commit
|
commitdiff
|
tree
2017-07-04
Joe Co
r
ne
l
i
fix minor space issue
commit
|
commitdiff
|
tree
2017-07-04
J
o
e C
o
rneli
some more edit
i
ng of t
h
e merged
d
ocu
m
ent, with
s
ome
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Joe Cor
n
eli
quick editin
g
pass to supe
r
f
icially
i
ntegrate HONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-25
J
oseph Corneli
a
dd
p
lace t
o
w
o
rk on merge
commit
|
commitdiff
|
tree
2017-06-25
J
oseph
Corneli
move
b
ackend code
commit
|
commitdiff
|
tree
2017-06-25
Joseph
C
orneli
move arxa
n
a back
e
nd
to separat
e
file
commit
|
commitdiff
|
tree
2017-06-25
Joseph
C
orneli
fi
x
qu
o
t
i
ng for lambd
a
s,
s
ee https://stackoverf
l
o
w
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
Joe Corneli
up
d
a
t
e
task tree
commit
|
commitdiff
|
tree
2017-06-12
Jo
e
Corneli
u
pdate from mixed mode
collab session June
1
2
commit
|
commitdiff
|
tree
2017-06-11
Joe Cor
n
eli
add
e
d Future Work fro
m
p
aper an
d
other
s
mall ch
a
ng
e
s
commit
|
commitdiff
|
tree
2017-06-01
Joe Corneli
commi
t
commit
|
commitdiff
|
tree
2017-05-31
Joe Cornel
i
new parag
r
a
p
h
commit
|
commitdiff
|
tree
2017-05-31
J
o
e Corneli
comment un-us
e
ful
commit
|
commitdiff
|
tree
2017-05-31
J
o
e Co
r
neli
notes from
our conv
e
r
satio
n
commit
|
commitdiff
|
tree
2017-05-31
J
oe Corn
e
l
i
some more
commit
|
commitdiff
|
tree
2017-05-31
J
o
e
C
o
r
neli
minor
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
Corneli
som
e
content f
o
r Secti
o
n 4
commit
|
commitdiff
|
tree
2017-05-31
J
oe Cor
n
eli
mi
n
or
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
check
commit
|
commitdiff
|
tree
2017-05-30
Jo
e
Co
r
ne
l
i
s
m
a
l
l
changes
prep to discussi
o
n
commit
|
commitdiff
|
tree
2017-05-30
Joe Co
r
neli
som
e
more clean up of section
3
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
say
som
e
thing about Ganes
a
linga
m
a
nd Gowers
commit
|
commitdiff
|
tree
2017-05-30
Joe Corn
e
li
chase through
section 3 draf
t
commit
|
commitdiff
|
tree
2017-05-29
Joe Co
r
neli
fix quote
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
o
ne minor fix
commit
|
commitdiff
|
tree
2017-05-29
Jo
e
Corneli
clean
u
p section 2, more reference
s
commit
|
commitdiff
|
tree
2017-05-29
Joe Cornel
i
add some stuff i
n
my section and a few corrections
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
u
p
d
a
te slightly
commit
|
commitdiff
|
tree
2017-05-27
Joe C
o
rneli
add
r
e
v
i
s
ed
outline
commit
|
commitdiff
|
tree
2017-05-27
Joe Corneli
a
dd farm doc
commit
|
commitdiff
|
tree
2017-05-26
Joe
C
orneli
upda
t
e
scheme submission
commit
|
commitdiff
|
tree
2017-05-25
Joe Corneli
add
s
ubbran
c
hes
commit
|
commitdiff
|
tree
2017-05-25
Joe Corn
e
li
f
ix org grammar
commit
|
commitdiff
|
tree
2017-05-25
Jo
e
C
o
rneli
add pic
t
ures
commit
|
commitdiff
|
tree
2017-05-22
J
o
e
Corneli
spacing
commit
|
commitdiff
|
tree
2017-05-21
J
o
e Corn
e
l
i
indent code
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
copy resu
l
ts from
collaborative session
M
a
y
20
commit
|
commitdiff
|
tree
2017-05-20
Joe
Cornel
i
fix typo
commit
|
commitdiff
|
tree
2017-05-20
Jo
e
C
o
rneli
some
more
editing
commit
|
commitdiff
|
tree
2017-05-20
Joe Co
r
nel
i
some editing
commit
|
commitdiff
|
tree
2017-05-16
J
oe Cornel
i
add robot exampl
e
commit
|
commitdiff
|
tree
2017-05-16
Joe Corneli
li
n
ks
t
o
n
on-workin
g
examp
l
es
commit
|
commitdiff
|
tree
2017-05-15
J
o
e Corne
l
i
fix typo
t
hr
o
ug
h
out
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe
Corneli
a
dd gowers 2012
example
commit
|
commitdiff
|
tree
2017-05-15
Joe Corn
e
li
a
d
d MP
M
exa
m
p
l
e
commit
|
commitdiff
|
tree
2017-05-13
J
o
e Cor
n
eli
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Cor
n
e
l
i
m
o
r
e
r
e
arrange
m
ents
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
Corneli
more cla
r
ificat
i
ons
commit
|
commitdiff
|
tree
2017-05-12
J
o
e
C
orneli
Merge branch 'mob' of g
i
t://re
p
o
.
or
.
cz/arxana into mob
commit
|
commitdiff
|
tree
2017-05-12
Joe
C
or
n
eli
c
l
ean up
commit
|
commitdiff
|
tree
2017-05-12
Joe Cor
n
eli
add refs
commit
|
commitdiff
|
tree
2017-05-06
Joe Corneli
initial commit o
f
org
file
commit
|
commitdiff
|
tree
2013-10-12
Joe Corneli
R
e
vise
arxana
.
o
rg with more s
t
ructur
e
.
commit
|
commitdiff
|
tree
2013-10-12
Joe Corne
l
i
move org file to a more se
n
si
b
le name
commit
|
commitdiff
|
tree
2013-03-29
J
o
e
Corneli
Pretty much complete
d
raft
o
f homepage
is now done
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
make a more succinc
t
README
commit
|
commitdiff
|
tree
next