drwxr-xr-x 4 edrx edrx 4096 Oct 19 2015 ./ drwxr-xr-x 193 edrx edrx 28672 Sep 27 11:16 ../ -rw-r--r-- 1 edrx edrx 2980 May 20 16:53 abbrevs.lua -rw-r--r-- 1 edrx edrx 4200 Sep 27 11:16 abbrevs.lua.html -rw-r--r-- 1 edrx edrx 394 Aug 7 2015 binloader.lua -rw-r--r-- 1 edrx edrx 1155 Sep 27 11:16 binloader.lua.html -rw-r--r-- 1 edrx edrx 657 Aug 7 2015 common.lua -rw-r--r-- 1 edrx edrx 1715 Sep 27 11:16 common.lua.html -rw-r--r-- 2 edrx edrx 75089 Sep 7 2015 dednat6-20150907.tgz -rw-r--r-- 2 edrx edrx 87342 Sep 7 2015 dednat6-20150907.zip -rw-r--r-- 2 edrx edrx 97506 Sep 24 2015 dednat6-20150924.tgz -rw-r--r-- 2 edrx edrx 110719 Sep 24 2015 dednat6-20150924.zip -rw-r--r-- 2 edrx edrx 101514 Sep 28 2015 dednat6-20150928.tgz -rw-r--r-- 2 edrx edrx 114731 Sep 28 2015 dednat6-20150928.zip -rw-r--r-- 2 edrx edrx 103070 Oct 19 2015 dednat6-20151019.tgz -rw-r--r-- 2 edrx edrx 116624 Oct 19 2015 dednat6-20151019.zip -rwxr-xr-x 1 edrx edrx 7031 Dec 22 2015 dednat6.lua* -rw-r--r-- 1 edrx edrx 16400 Sep 27 11:16 dednat6.lua.html -rw-r--r-- 2 edrx edrx 103070 Oct 19 2015 dednat6.tgz -rw-r--r-- 2 edrx edrx 116624 Oct 19 2015 dednat6.zip -rw-r--r-- 1 edrx edrx 8520 Oct 5 2015 diagforth.lua -rw-r--r-- 1 edrx edrx 15329 Sep 27 11:16 diagforth.lua.html -rw-r--r-- 1 edrx edrx 5932 Aug 16 2015 diagmiddle.lua -rw-r--r-- 1 edrx edrx 8974 Sep 27 11:16 diagmiddle.lua.html -rw-r--r-- 1 edrx edrx 3133 Aug 22 2015 diagstacks.lua -rw-r--r-- 1 edrx edrx 5321 Sep 27 11:16 diagstacks.lua.html -rw-r--r-- 1 edrx edrx 5676 Sep 1 2015 diagtex.lua -rw-r--r-- 1 edrx edrx 10979 Sep 27 11:16 diagtex.lua.html -rw-r--r-- 1 edrx edrx 6387 Aug 28 2015 eoo.lua -rw-r--r-- 1 edrx edrx 9661 Sep 27 11:16 eoo.lua.html -rw-r--r-- 1 edrx edrx 1129 Aug 7 2015 errors.lua -rw-r--r-- 1 edrx edrx 1909 Sep 27 11:16 errors.lua.html drwxr-xr-x 2 edrx edrx 4096 Sep 27 11:16 ex/ -rw-r--r-- 1 edrx edrx 3667 Aug 30 2015 heads6.lua -rw-r--r-- 1 edrx edrx 9528 Sep 27 11:16 heads6.lua.html -rw-r--r-- 1 edrx edrx 1468 Sep 7 2015 lualoader.lua -rw-r--r-- 1 edrx edrx 2763 Sep 27 11:16 lualoader.lua.html -rw-r--r-- 1 edrx edrx 15539 Sep 28 2015 luarects.lua -rw-r--r-- 1 edrx edrx 21915 Sep 27 11:16 luarects.lua.html -rw-r--r-- 1 edrx edrx 33362 Sep 6 2015 newrect.lua -rw-r--r-- 1 edrx edrx 50746 Sep 27 11:16 newrect.lua.html -rw-r--r-- 1 edrx edrx 2086 Aug 22 2015 options6.lua -rw-r--r-- 1 edrx edrx 4031 Sep 27 11:16 options6.lua.html -rw-r--r-- 1 edrx edrx 2783 Sep 3 2016 output.lua -rw-r--r-- 1 edrx edrx 5634 Sep 27 11:16 output.lua.html -rw-r--r-- 1 edrx edrx 1767 Aug 28 2015 parse.lua -rw-r--r-- 1 edrx edrx 3142 Sep 27 11:16 parse.lua.html -rw-r--r-- 1 edrx edrx 21861 Sep 13 2015 picture.lua -rw-r--r-- 1 edrx edrx 30992 Sep 27 11:16 picture.lua.html -rw-r--r-- 1 edrx edrx 2422 Sep 6 2015 preamble6.lua -rw-r--r-- 1 edrx edrx 4612 Sep 27 11:16 preamble6.lua.html -rw-r--r-- 1 edrx edrx 3444 Aug 7 2015 prefixes.lua -rw-r--r-- 1 edrx edrx 5184 Sep 27 11:16 prefixes.lua.html -rw-r--r-- 1 edrx edrx 5093 Aug 22 2015 process.lua -rw-r--r-- 1 edrx edrx 9681 Sep 27 11:16 process.lua.html -rw-r--r-- 1 edrx edrx 6505 Aug 26 2015 rect.lua -rw-r--r-- 1 edrx edrx 10788 Sep 27 11:16 rect.lua.html -rw-r--r-- 1 edrx edrx 3150 Aug 28 2015 stacks.lua -rw-r--r-- 1 edrx edrx 5345 Sep 27 11:16 stacks.lua.html drwxr-xr-x 2 edrx edrx 4096 Sep 24 2015 tests/ -rw-r--r-- 1 edrx edrx 4433 Apr 24 2016 texfile.lua -rw-r--r-- 1 edrx edrx 6952 Sep 27 11:16 texfile.lua.html -rw-r--r-- 1 edrx edrx 1315 Aug 22 2015 treehead.lua -rw-r--r-- 1 edrx edrx 3071 Sep 27 11:16 treehead.lua.html -rw-r--r-- 1 edrx edrx 5380 Aug 23 2015 treesegs.lua -rw-r--r-- 1 edrx edrx 8232 Sep 27 11:16 treesegs.lua.html -rw-r--r-- 1 edrx edrx 3118 Sep 6 2015 treetex.lua -rw-r--r-- 1 edrx edrx 5296 Sep 27 11:16 treetex.lua.html -rw-r--r-- 1 edrx edrx 4944 Sep 23 2015 underbrace.lua -rw-r--r-- 1 edrx edrx 8448 Sep 27 11:16 underbrace.lua.html -rw-r--r-- 1 edrx edrx 993 Aug 6 2015 wrap.lua -rw-r--r-- 1 edrx edrx 2058 Sep 27 11:16 wrap.lua.html -rw-r--r-- 1 edrx edrx 15136 Aug 7 2015 zha.lua -rw-r--r-- 1 edrx edrx 19152 Sep 27 11:16 zha.lua.html -rw-r--r-- 1 edrx edrx 37941 Mar 8 2017 zhas.lua -rw-r--r-- 1 edrx edrx 56976 Sep 27 11:16 zhas.lua.html -rw-r--r-- 1 edrx edrx 6626 Sep 16 2015 zhaspecs.lua -rw-r--r-- 1 edrx edrx 10123 Sep 27 11:16 zhaspecs.lua.html -rw-r--r-- 1 edrx edrx 2555 Oct 3 2015 zquotients.lua -rw-r--r-- 1 edrx edrx 3446 Sep 27 11:16 zquotients.lua.html -rw-r--r-- 1 edrx edrx 16624 Aug 7 2015 zrect.lua -rw-r--r-- 1 edrx edrx 21390 Sep 27 11:16 zrect.lua.html