drwxr-xr-x   2 edrx edrx  4096 May 17 02:55 ./
drwxr-xr-x 218 edrx edrx 36864 May 17 02:56 ../
-rw-r--r--   1 edrx edrx   779 Feb 21 22:17 Makefile
-rw-r--r--   1 edrx edrx  1157 May 17 02:55 Makefile.html
-rw-r--r--   1 edrx edrx  1475 Feb 21 22:17 README
-rw-r--r--   1 edrx edrx  1925 May 17 02:55 README.html
-rw-r--r--   1 edrx edrx 26267 Feb 21 22:17 bussproofs.sty
-rw-r--r--   1 edrx edrx 13868 Feb 21 22:17 dednat.lua
-rw-r--r--   1 edrx edrx 23338 May 17 02:55 dednat.lua.html
-rw-r--r--   1 edrx edrx 15646 Feb 21 22:17 dednat2.lua
-rw-r--r--   1 edrx edrx 25896 May 17 02:55 dednat2.lua.html
-rwxr-xr-x   1 edrx edrx 13848 Feb 21 22:17 dednat3.lua*
-rw-r--r--   1 edrx edrx 19653 May 17 02:55 dednat3.lua.html
-rw-r--r--   1 edrx edrx 14552 Feb 21 22:17 diagxy.lua
-rw-r--r--   1 edrx edrx 18521 May 17 02:55 diagxy.lua.html
-rw-r--r--   1 edrx edrx  3196 Feb 21 22:17 example.tex
-rw-r--r--   1 edrx edrx  4692 May 17 02:55 example.tex.html
-rw-r--r--   1 edrx edrx  5183 Feb 21 22:17 example_dvi.png
-rw-r--r--   1 edrx edrx  5697 Feb 21 22:17 example_tex.png
-rw-r--r--   1 edrx edrx  2556 Feb 21 22:17 experimental.lua
-rw-r--r--   1 edrx edrx  2938 May 17 02:55 experimental.lua.html
-rw-r--r--   1 edrx edrx  8213 Feb 21 22:17 inc.lua
-rw-r--r--   1 edrx edrx 14164 May 17 02:55 inc.lua.html
-rw-r--r--   1 edrx edrx 10467 Feb 21 22:17 proof.edrx.sty