added update-src
[arxana.git] / org / 
treeca0f18cd416be0a59195123b118edf0952a097c4
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-- 10035 scheme-talk.org