Merge branch 'master' of https://repo.or.cz/arxana
[arxana.git] / org / 
treef56193017bb45af0d06abb87bbaa19ccdd5318c5
drwxr-xr-x   ..
-rw-r--r-- 7000 arxana-redux-refs.bib
-rw-r--r-- 33869 arxana-redux.org
-rw-r--r-- 29731 ciao-talk.org
-rw-r--r-- 164511 example-graph.png
-rw-r--r-- 49965 farm-2017.org
-rw-r--r-- 24173 farm-refs.bib
-rw-r--r-- 164686 fond-graph.png
-rw-r--r-- 7967 fond-john.png
-rw-r--r-- 59546 fond-mom.png
-rw-r--r-- 100131 fond-nested.png
-rw-r--r-- 148247 gowers-hal.png
-rw-r--r-- 4838 gowers2012.org
-rw-r--r-- 6849 honey-spec.org
-rw-r--r-- 24898 john-example.png
-rw-r--r-- 86343 lakatos-example.png
-rw-r--r-- 105640 legend.png
-rw-r--r-- 421 lightning.sty
-rw-r--r-- 106810 mom.png
-rw-r--r-- 12529 mpm.org
-rw-r--r-- 4502 robotone-opensets.org
-rw-r--r-- 2163 scheme-2017.org
-rw-r--r-- 11052 scheme-talk.org