drwxr-xr-x   2 edrx edrx  4096 Aug 18 00:21 ./
drwxr-xr-x 212 edrx edrx 32768 Aug 18 00:22 ../
-rw-r--r--   1 edrx edrx   779 Apr 14  2014 Makefile
-rw-r--r--   1 edrx edrx  1157 Aug 18 00:21 Makefile.html
-rw-r--r--   1 edrx edrx  1475 Apr 14  2014 README
-rw-r--r--   1 edrx edrx  1925 Aug 18 00:21 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 23338 Aug 18 00:21 dednat.lua.html
-rw-r--r--   1 edrx edrx 15646 Apr 14  2014 dednat2.lua
-rw-r--r--   1 edrx edrx 25896 Aug 18 00:21 dednat2.lua.html
-rwxr-xr-x   1 edrx edrx 13848 Apr 14  2014 dednat3.lua*
-rw-r--r--   1 edrx edrx 19653 Aug 18 00:21 dednat3.lua.html
-rw-r--r--   1 edrx edrx 14552 Apr 14  2014 diagxy.lua
-rw-r--r--   1 edrx edrx 18521 Aug 18 00:21 diagxy.lua.html
-rw-r--r--   1 edrx edrx  3196 Apr 14  2014 example.tex
-rw-r--r--   1 edrx edrx  4692 Aug 18 00:21 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  2938 Aug 18 00:21 experimental.lua.html
-rw-r--r--   1 edrx edrx  8213 Apr 14  2014 inc.lua
-rw-r--r--   1 edrx edrx 14164 Aug 18 00:21 inc.lua.html
-rw-r--r--   1 edrx edrx 10467 Apr 14  2014 proof.edrx.sty