drwxr-xr-x   2 edrx edrx  4096 Sep 27 11:16 ./
drwxr-xr-x 193 edrx edrx 28672 Sep 27 11:16 ../
-rw-r--r--   1 edrx edrx   779 Apr 14  2014 Makefile
-rw-r--r--   1 edrx edrx  1170 Sep 27 11:16 Makefile.html
-rw-r--r--   1 edrx edrx  1475 Apr 14  2014 README
-rw-r--r--   1 edrx edrx  1938 Sep 27 11:16 README.html
-rw-r--r--   1 edrx edrx 26267 Apr 14  2014 bussproofs.sty
-rw-r--r--   1 edrx edrx 13868 Apr 14  2014 dednat.lua
-rw-r--r--   1 edrx edrx 23095 Sep 27 11:16 dednat.lua.html
-rw-r--r--   1 edrx edrx 15646 Apr 14  2014 dednat2.lua
-rw-r--r--   1 edrx edrx 25686 Sep 27 11:16 dednat2.lua.html
-rwxr-xr-x   1 edrx edrx 13848 Apr 14  2014 dednat3.lua*
-rw-r--r--   1 edrx edrx 19548 Sep 27 11:16 dednat3.lua.html
-rw-r--r--   1 edrx edrx 14552 Apr 14  2014 diagxy.lua
-rw-r--r--   1 edrx edrx 18451 Sep 27 11:16 diagxy.lua.html
-rw-r--r--   1 edrx edrx  3196 Apr 14  2014 example.tex
-rw-r--r--   1 edrx edrx  4691 Sep 27 11:16 example.tex.html
-rw-r--r--   1 edrx edrx  5183 Apr 14  2014 example_dvi.png
-rw-r--r--   1 edrx edrx  5697 Apr 14  2014 example_tex.png
-rw-r--r--   1 edrx edrx  2556 Apr 14  2014 experimental.lua
-rw-r--r--   1 edrx edrx  2951 Sep 27 11:16 experimental.lua.html
-rw-r--r--   1 edrx edrx  8213 Apr 14  2014 inc.lua
-rw-r--r--   1 edrx edrx 14010 Sep 27 11:16 inc.lua.html
-rw-r--r--   1 edrx edrx 10467 Apr 14  2014 proof.edrx.sty