repo.or.cz
/
arxana.git
/
tree
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
history
|
HEAD
|
snapshot (
tar.gz
zip
)
Merge branch 'mob'
master
[arxana.git]
/
org
/
tree
f32fde0854bf28932c40a9273a2fd711c5eddf58
drwxr-xr-x
..
-rw-r--r--
7000
arxana-redux-refs.bib
blob
|
blame
|
history
|
raw
-rw-r--r--
33869
arxana-redux.org
blob
|
blame
|
history
|
raw
-rw-r--r--
1441
beamerhacks.sty
blob
|
blame
|
history
|
raw
-rw-r--r--
29731
ciao-talk.org
blob
|
blame
|
history
|
raw
-rw-r--r--
164511
example-graph.png
blob
|
blame
|
history
|
raw
-rw-r--r--
49965
farm-2017.org
blob
|
blame
|
history
|
raw
-rw-r--r--
24173
farm-refs.bib
blob
|
blame
|
history
|
raw
-rw-r--r--
14718
farm-talk.org
blob
|
blame
|
history
|
raw
-rw-r--r--
164686
fond-graph.png
blob
|
blame
|
history
|
raw
-rw-r--r--
7967
fond-john.png
blob
|
blame
|
history
|
raw
-rw-r--r--
59546
fond-mom.png
blob
|
blame
|
history
|
raw
-rw-r--r--
100131
fond-nested.png
blob
|
blame
|
history
|
raw
-rw-r--r--
148247
gowers-hal.png
blob
|
blame
|
history
|
raw
-rw-r--r--
4838
gowers2012.org
blob
|
blame
|
history
|
raw
-rw-r--r--
6849
honey-spec.org
blob
|
blame
|
history
|
raw
-rw-r--r--
24898
john-example.png
blob
|
blame
|
history
|
raw
-rw-r--r--
86343
lakatos-example.png
blob
|
blame
|
history
|
raw
-rw-r--r--
105640
legend.png
blob
|
blame
|
history
|
raw
-rw-r--r--
421
lightning.sty
blob
|
blame
|
history
|
raw
-rw-r--r--
106810
mom.png
blob
|
blame
|
history
|
raw
-rw-r--r--
12529
mpm.org
blob
|
blame
|
history
|
raw
-rw-r--r--
4502
robotone-opensets.org
blob
|
blame
|
history
|
raw
-rw-r--r--
2163
scheme-2017.org
blob
|
blame
|
history
|
raw
-rw-r--r--
11042
scheme-talk.org
blob
|
blame
|
history
|
raw