fix some minor issues with importing
[arxana.git] / org / 
treebd02ef3f9b9bd7f44bf76e45b90f531534fd473e
drwxr-xr-x   ..
-rw-r--r-- 7000 arxana-redux-refs.bib
-rw-r--r-- 49173 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-- 148247 gowers-hal.png
-rw-r--r-- 4838 gowers2012.org
-rw-r--r-- 24898 john-example.png
-rw-r--r-- 86343 lakatos-example.png
-rw-r--r-- 105640 legend.png
-rw-r--r-- 12529 mpm.org
-rw-r--r-- 4502 robotone-opensets.org
-rw-r--r-- 2163 scheme-2017.org