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
add outline of Scheme talk
2017-09-02
Jo
e
C
o
rneli
add outline o
f
Scheme talk
commit
|
commitdiff
|
tree
2017-08-28
Joe Corn
e
li
add verbal command to header
commit
|
commitdiff
|
tree
2017-08-28
Joe Cor
n
e
l
i
Merge branch
'
m
o
b
'
of git://repo
.
or
.
c
z/arxana int
o
mob
commit
|
commitdiff
|
tree
2017-08-28
Joe Corneli
introduce ve
r
bal com
m
and
commit
|
commitdiff
|
tree
2017-08-20
Joe
Corne
l
i
init
i
al examp
l
e of a parser
commit
|
commitdiff
|
tree
2017-08-20
Joe Corne
l
i
correct typo
i
n
a
r
xana-reset-pl
e
xus
commit
|
commitdiff
|
tree
2017-08-19
Joe Co
r
n
e
li
slightly cha
n
ge todo
list
commit
|
commitdiff
|
tree
2017-08-05
Joe Corneli
Revise this to ref
l
ect current status
commit
|
commitdiff
|
tree
2017-08-05
J
o
e Corn
e
li
move
h
oney-spe
c
.
org to
.
/
o
rg/
commit
|
commitdiff
|
tree
2017-08-01
Joe Corneli
reorganize
T
ODO items
commit
|
commitdiff
|
tree
2017-07-25
Joe C
o
rnel
i
cha
n
ge add-n
e
ma ar
g
u
ment o
r
d
e
r in spe
c
commit
|
commitdiff
|
tree
2017-07-12
J
oe Corneli
startin
g
to work on displ
a
y-docume
n
t
commit
|
commitdiff
|
tree
2017-07-12
Joe
Corn
e
li
s
ome added
p
arens in this file
commit
|
commitdiff
|
tree
2017-07-12
Joe Cornel
i
initial w
o
rking article
br
o
wser
b
ased on
new nemas
.
.
.
commit
|
commitdiff
|
tree
2017-07-12
Joe Cornel
i
fix paren
commit
|
commitdiff
|
tree
2017-07-11
Joe Cor
n
eli
w
hi
t
espace
commit
|
commitdiff
|
tree
2017-07-11
Joe Co
r
ne
l
i
Merge bran
c
h 'mob' of git://r
e
po
.
or
.
cz
/
arxana into mob
commit
|
commitdiff
|
tree
2017-07-11
Joe Corneli
r
e
arrange
s
light
l
y
commit
|
commitdiff
|
tree
2017-07-11
J
o
e Corneli
add
IAT
C
+CD representations
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corneli
d
ocumentation changes
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
orneli
basic working version of
g
et-names
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
ini
t
ial working definiti
o
n
f
or triple
s
-given-
b
egi
n
ning etc
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
minor ch
a
nges
commit
|
commitdiff
|
tree
2017-07-10
Joe
Corn
e
li
fully fix i
m
p
ort code
c
ontinuation
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
fix import co
d
e continu
a
tion
commit
|
commitdiff
|
tree
2017-07-10
Joe
Cornel
i
import
a
nt fix in
ad
d
-
nem
a
- Update the c
o
unt
e
r for
.
.
.
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
r
n
eli
docum
e
nta
t
ion chan
g
es
commit
|
commitdiff
|
tree
2017-07-10
Joe
C
ornel
i
rev
i
se it
e
ra
t
or
funct
i
ons
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
r
n
eli
reorder filtering
functions, ajust fil
t
e
r-plexus
commit
|
commitdiff
|
tree
2017-07-10
Joe C
o
r
neli
r
e
order bulk vs
i
ndiv
i
du
a
l op
e
rat
i
ons
commit
|
commitdiff
|
tree
2017-07-10
Joe Cor
n
eli
c
a
l
l
next-unique-id
in add-en-ma
s
se
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Corneli
whites
p
a
c
e
, n
e
xt-unique-id
commit
|
commitdiff
|
tree
2017-07-10
Jo
e
Cor
n
eli
begin to revise triple
a
ccess functions
commit
|
commitdiff
|
tree
2017-07-10
Joe Corneli
f
ix so
m
e mi
n
or i
s
s
u
es with i
m
p
o
rting
commit
|
commitdiff
|
tree
2017-07-07
Joe Cor
n
e
l
i
fix s
u
bsection
commit
|
commitdiff
|
tree
2017-07-04
Joe Corneli
chase t
h
rough
downcasing Defun
commit
|
commitdiff
|
tree
2017-07-04
Joe Corn
e
l
i
fix m
i
nor
s
pace issue
commit
|
commitdiff
|
tree
2017-07-04
Joe
Corneli
some mor
e
editing of the
merged document, with s
o
me
.
.
.
commit
|
commitdiff
|
tree
2017-07-04
Jo
e
C
o
rneli
qui
c
k editing pass to super
f
icially
i
ntegrate HONEY
.
.
.
commit
|
commitdiff
|
tree
2017-06-25
Joseph Corn
e
li
add place to w
o
rk
o
n merge
commit
|
commitdiff
|
tree
2017-06-25
Joseph Cor
n
e
l
i
mov
e
backend code
commit
|
commitdiff
|
tree
2017-06-25
Jos
e
ph Corneli
move
a
r
x
a
na b
a
c
k
end to separate file
commit
|
commitdiff
|
tree
2017-06-25
Jo
s
eph Corneli
fix
quot
i
ng for
l
ambdas,
s
e
e https://stackoverflow
.
.
.
commit
|
commitdiff
|
tree
2017-06-17
J
o
e Corneli
up
d
ate task tree
commit
|
commitdiff
|
tree
2017-06-12
Joe C
o
rn
e
li
update from
mixed m
o
de
c
o
llab sessi
o
n Jun
e
1
2
commit
|
commitdiff
|
tree
2017-06-11
Joe Cor
n
e
li
added Fut
u
re Work
f
ro
m
paper and other small cha
n
ges
commit
|
commitdiff
|
tree
2017-06-01
Joe Corneli
commi
t
commit
|
commitdiff
|
tree
2017-05-31
Joe
Corne
l
i
new par
a
graph
commit
|
commitdiff
|
tree
2017-05-31
Joe Corne
l
i
c
omm
e
nt un-usefu
l
commit
|
commitdiff
|
tree
2017-05-31
J
o
e Co
r
neli
notes from ou
r
conversati
o
n
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
Corne
l
i
some more
commit
|
commitdiff
|
tree
2017-05-31
Joe Corneli
mino
r
commit
|
commitdiff
|
tree
2017-05-31
Joe Corn
e
li
some content for S
e
c
t
ion 4
commit
|
commitdiff
|
tree
2017-05-31
Jo
e
Corneli
m
i
n
o
r
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
ch
e
ck
commit
|
commitdiff
|
tree
2017-05-30
Joe
Corne
l
i
small changes prep to di
s
cuss
i
on
commit
|
commitdiff
|
tree
2017-05-30
Joe Corneli
some more cle
a
n
up of section
3
commit
|
commitdiff
|
tree
2017-05-30
J
oe Corneli
say something abo
u
t Ganes
a
l
i
ngam
and Gowers
commit
|
commitdiff
|
tree
2017-05-30
Joe
Corneli
c
h
ase through secti
o
n 3 draft
commit
|
commitdiff
|
tree
2017-05-29
Jo
e
Corneli
fix
qu
o
t
e
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
one
m
inor fi
x
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
c
lean up sect
i
on 2,
m
ore references
commit
|
commitdiff
|
tree
2017-05-29
Joe Corneli
add some stuff i
n
my section and
a
few correctio
n
s
commit
|
commitdiff
|
tree
2017-05-27
J
o
e
Corneli
update slightly
commit
|
commitdiff
|
tree
2017-05-27
Joe
C
orneli
add revis
e
d
outline
commit
|
commitdiff
|
tree
2017-05-27
J
oe Corneli
add
f
ar
m
doc
commit
|
commitdiff
|
tree
2017-05-26
Joe Cornel
i
up
d
a
t
e sche
m
e
submissi
o
n
commit
|
commitdiff
|
tree
2017-05-25
Joe Co
r
neli
a
d
d
subb
r
a
nches
commit
|
commitdiff
|
tree
2017-05-25
J
oe Corneli
fix
o
rg gra
m
mar
commit
|
commitdiff
|
tree
2017-05-25
Joe Corn
e
li
ad
d
pictures
commit
|
commitdiff
|
tree
2017-05-22
J
o
e Corneli
spacing
commit
|
commitdiff
|
tree
2017-05-21
Joe Cor
n
eli
indent code
commit
|
commitdiff
|
tree
2017-05-21
Joe Corneli
copy results from collab
o
rative session May 2
0
commit
|
commitdiff
|
tree
2017-05-20
Joe
C
orneli
fix typo
commit
|
commitdiff
|
tree
2017-05-20
Jo
e
Corneli
so
m
e more editing
commit
|
commitdiff
|
tree
2017-05-20
Jo
e
Corneli
some
e
diting
commit
|
commitdiff
|
tree
2017-05-16
J
oe Corne
l
i
add
r
obot
e
xample
commit
|
commitdiff
|
tree
2017-05-16
J
o
e Corn
e
l
i
link
s
to
non-
w
or
k
i
ng
examples
commit
|
commitdiff
|
tree
2017-05-15
Joe Corn
e
l
i
fix typ
o
t
h
rou
g
hout
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
fix typo
commit
|
commitdiff
|
tree
2017-05-15
Joe Corneli
a
d
d g
o
w
e
r
s 2012 examp
l
e
commit
|
commitdiff
|
tree
2017-05-15
Joe
C
o
r
n
e
l
i
add MPM example
commit
|
commitdiff
|
tree
2017-05-13
Joe Corneli
clean
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
more
r
earrangement
s
commit
|
commitdiff
|
tree
2017-05-12
Jo
e
Corneli
m
o
re clar
i
fica
t
ions
commit
|
commitdiff
|
tree
2017-05-12
Joe Corneli
Merge branch 'mob' of git://repo
.
or
.
cz/arxa
n
a i
n
t
o
m
o
b
commit
|
commitdiff
|
tree
2017-05-12
Joe C
o
rne
l
i
clean up
commit
|
commitdiff
|
tree
2017-05-12
Joe
C
orneli
add refs
commit
|
commitdiff
|
tree
2017-05-06
Joe Corneli
init
i
al commit of o
r
g
fil
e
commit
|
commitdiff
|
tree
2013-10-12
Joe Corne
l
i
Revis
e
arxana
.
org with
m
o
r
e structur
e
.
commit
|
commitdiff
|
tree
2013-10-12
J
oe Corneli
move or
g
file to
a m
o
re sensible name
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Pretty much
c
omplete draft of homepage
i
s n
o
w don
e
commit
|
commitdiff
|
tree
2013-03-29
J
oe Corneli
make
a more
succ
i
nct README
commit
|
commitdiff
|
tree
2013-03-29
J
o
e Corneli
A
d
d hon
e
y-demo
.
tex
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Update l
i
c
e
nse
commit
|
commitdiff
|
tree
2013-03-29
Jo
e
C
orneli
Add scholium programming and search e
x
amples
from Ray
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Incorporate our initia
l
tasklist as
a
.
o
rg
f
il
e
commit
|
commitdiff
|
tree
2013-03-29
Joe
C
orn
e
l
i
A
dd
20
0
5 version of Arxana
commit
|
commitdiff
|
tree
2013-03-29
Joe
C
orneli
Add 2
0
09 version of Arxana
commit
|
commitdiff
|
tree
2013-03-29
Joe Corneli
Add initial webpag
e
exporter
commit
|
commitdiff
|
tree
next