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