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