drwxr-xr-x 2 edrx edrx 4096 Apr 18 10:33 ./ drwxr-xr-x 289 edrx edrx 36864 Apr 18 10:34 ../ -rw-r--r-- 1 edrx edrx 779 Feb 21 2020 Makefile -rw-r--r-- 1 edrx edrx 1276 Apr 18 10:33 Makefile.html -rw-r--r-- 1 edrx edrx 1475 Feb 21 2020 README -rw-r--r-- 1 edrx edrx 2044 Apr 18 10:33 README.html -rw-r--r-- 1 edrx edrx 26267 Feb 21 2020 bussproofs.sty -rw-r--r-- 1 edrx edrx 13868 Feb 21 2020 dednat.lua -rw-r--r-- 1 edrx edrx 23316 Apr 18 10:33 dednat.lua.html -rw-r--r-- 1 edrx edrx 15646 Feb 21 2020 dednat2.lua -rw-r--r-- 1 edrx edrx 25988 Apr 18 10:33 dednat2.lua.html -rwxr-xr-x 1 edrx edrx 13848 Feb 21 2020 dednat3.lua* -rw-r--r-- 1 edrx edrx 19697 Apr 18 10:33 dednat3.lua.html -rw-r--r-- 1 edrx edrx 14552 Feb 21 2020 diagxy.lua -rw-r--r-- 1 edrx edrx 18537 Apr 18 10:33 diagxy.lua.html -rw-r--r-- 1 edrx edrx 3196 Feb 21 2020 example.tex -rw-r--r-- 1 edrx edrx 4680 Apr 18 10:33 example.tex.html -rw-r--r-- 1 edrx edrx 5183 Feb 21 2020 example_dvi.png -rw-r--r-- 1 edrx edrx 5697 Feb 21 2020 example_tex.png -rw-r--r-- 1 edrx edrx 2556 Feb 21 2020 experimental.lua -rw-r--r-- 1 edrx edrx 3131 Apr 18 10:33 experimental.lua.html -rw-r--r-- 1 edrx edrx 8213 Feb 21 2020 inc.lua -rw-r--r-- 1 edrx edrx 14132 Apr 18 10:33 inc.lua.html -rw-r--r-- 1 edrx edrx 10467 Feb 21 2020 proof.edrx.sty