drwxr-xr-x   2 edrx edrx  4096 Nov  6 17:41 ./
drwxr-xr-x 193 edrx edrx 28672 Nov  6 17:42 ../
-rw-r--r--   1 edrx edrx   779 Apr 14  2014 Makefile
-rw-r--r--   1 edrx edrx  1170 Nov  6 17:41 Makefile.html
-rw-r--r--   1 edrx edrx  1475 Apr 14  2014 README
-rw-r--r--   1 edrx edrx  1938 Nov  6 17:41 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 Nov  6 17:41 dednat.lua.html
-rw-r--r--   1 edrx edrx 15646 Apr 14  2014 dednat2.lua
-rw-r--r--   1 edrx edrx 25686 Nov  6 17:41 dednat2.lua.html
-rwxr-xr-x   1 edrx edrx 13848 Apr 14  2014 dednat3.lua*
-rw-r--r--   1 edrx edrx 19548 Nov  6 17:41 dednat3.lua.html
-rw-r--r--   1 edrx edrx 14552 Apr 14  2014 diagxy.lua
-rw-r--r--   1 edrx edrx 18451 Nov  6 17:41 diagxy.lua.html
-rw-r--r--   1 edrx edrx  3196 Apr 14  2014 example.tex
-rw-r--r--   1 edrx edrx  4691 Nov  6 17:41 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 Nov  6 17:41 experimental.lua.html
-rw-r--r--   1 edrx edrx  8213 Apr 14  2014 inc.lua
-rw-r--r--   1 edrx edrx 14010 Nov  6 17:41 inc.lua.html
-rw-r--r--   1 edrx edrx 10467 Apr 14  2014 proof.edrx.sty