drwxr-xr-x   4 edrx edrx   4096 Oct 19  2015 ./
drwxr-xr-x 193 edrx edrx  28672 Nov  6 17:42 ../
-rw-r--r--   1 edrx edrx   2980 May 20 16:53 abbrevs.lua
-rw-r--r--   1 edrx edrx   4200 Nov  6 17:41 abbrevs.lua.html
-rw-r--r--   1 edrx edrx    394 Aug  7  2015 binloader.lua
-rw-r--r--   1 edrx edrx   1155 Nov  6 17:41 binloader.lua.html
-rw-r--r--   1 edrx edrx    657 Aug  7  2015 common.lua
-rw-r--r--   1 edrx edrx   1715 Nov  6 17:41 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 Nov  6 17:41 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 Nov  6 17:41 diagforth.lua.html
-rw-r--r--   1 edrx edrx   5932 Aug 16  2015 diagmiddle.lua
-rw-r--r--   1 edrx edrx   8974 Nov  6 17:41 diagmiddle.lua.html
-rw-r--r--   1 edrx edrx   3133 Aug 22  2015 diagstacks.lua
-rw-r--r--   1 edrx edrx   5321 Nov  6 17:41 diagstacks.lua.html
-rw-r--r--   1 edrx edrx   5676 Sep  1  2015 diagtex.lua
-rw-r--r--   1 edrx edrx  10979 Nov  6 17:41 diagtex.lua.html
-rw-r--r--   1 edrx edrx   6387 Aug 28  2015 eoo.lua
-rw-r--r--   1 edrx edrx   9661 Nov  6 17:41 eoo.lua.html
-rw-r--r--   1 edrx edrx   1129 Aug  7  2015 errors.lua
-rw-r--r--   1 edrx edrx   1909 Nov  6 17:41 errors.lua.html
drwxr-xr-x   2 edrx edrx   4096 Nov  6 17:41 ex/
-rw-r--r--   1 edrx edrx   3667 Aug 30  2015 heads6.lua
-rw-r--r--   1 edrx edrx   9528 Nov  6 17:41 heads6.lua.html
-rw-r--r--   1 edrx edrx   1468 Sep  7  2015 lualoader.lua
-rw-r--r--   1 edrx edrx   2763 Nov  6 17:41 lualoader.lua.html
-rw-r--r--   1 edrx edrx  15539 Sep 28  2015 luarects.lua
-rw-r--r--   1 edrx edrx  21915 Nov  6 17:41 luarects.lua.html
-rw-r--r--   1 edrx edrx  33362 Sep  6  2015 newrect.lua
-rw-r--r--   1 edrx edrx  50746 Nov  6 17:41 newrect.lua.html
-rw-r--r--   1 edrx edrx   2086 Aug 22  2015 options6.lua
-rw-r--r--   1 edrx edrx   4031 Nov  6 17:41 options6.lua.html
-rw-r--r--   1 edrx edrx   2783 Sep  3  2016 output.lua
-rw-r--r--   1 edrx edrx   5634 Nov  6 17:41 output.lua.html
-rw-r--r--   1 edrx edrx   1767 Aug 28  2015 parse.lua
-rw-r--r--   1 edrx edrx   3142 Nov  6 17:41 parse.lua.html
-rw-r--r--   1 edrx edrx  21861 Sep 13  2015 picture.lua
-rw-r--r--   1 edrx edrx  30992 Nov  6 17:41 picture.lua.html
-rw-r--r--   1 edrx edrx   2422 Sep  6  2015 preamble6.lua
-rw-r--r--   1 edrx edrx   4612 Nov  6 17:41 preamble6.lua.html
-rw-r--r--   1 edrx edrx   3444 Aug  7  2015 prefixes.lua
-rw-r--r--   1 edrx edrx   5184 Nov  6 17:41 prefixes.lua.html
-rw-r--r--   1 edrx edrx   5093 Aug 22  2015 process.lua
-rw-r--r--   1 edrx edrx   9681 Nov  6 17:41 process.lua.html
-rw-r--r--   1 edrx edrx   6505 Aug 26  2015 rect.lua
-rw-r--r--   1 edrx edrx  10788 Nov  6 17:41 rect.lua.html
-rw-r--r--   1 edrx edrx   3150 Aug 28  2015 stacks.lua
-rw-r--r--   1 edrx edrx   5345 Nov  6 17:41 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 Nov  6 17:41 texfile.lua.html
-rw-r--r--   1 edrx edrx   1315 Aug 22  2015 treehead.lua
-rw-r--r--   1 edrx edrx   3071 Nov  6 17:41 treehead.lua.html
-rw-r--r--   1 edrx edrx   5380 Aug 23  2015 treesegs.lua
-rw-r--r--   1 edrx edrx   8232 Nov  6 17:41 treesegs.lua.html
-rw-r--r--   1 edrx edrx   3118 Sep  6  2015 treetex.lua
-rw-r--r--   1 edrx edrx   5296 Nov  6 17:41 treetex.lua.html
-rw-r--r--   1 edrx edrx   4944 Sep 23  2015 underbrace.lua
-rw-r--r--   1 edrx edrx   8448 Nov  6 17:41 underbrace.lua.html
-rw-r--r--   1 edrx edrx    993 Aug  6  2015 wrap.lua
-rw-r--r--   1 edrx edrx   2058 Nov  6 17:41 wrap.lua.html
-rw-r--r--   1 edrx edrx  15136 Aug  7  2015 zha.lua
-rw-r--r--   1 edrx edrx  19152 Nov  6 17:41 zha.lua.html
-rw-r--r--   1 edrx edrx  37941 Mar  8  2017 zhas.lua
-rw-r--r--   1 edrx edrx  56976 Nov  6 17:41 zhas.lua.html
-rw-r--r--   1 edrx edrx   6626 Sep 16  2015 zhaspecs.lua
-rw-r--r--   1 edrx edrx  10123 Nov  6 17:41 zhaspecs.lua.html
-rw-r--r--   1 edrx edrx   2555 Oct  3  2015 zquotients.lua
-rw-r--r--   1 edrx edrx   3446 Nov  6 17:41 zquotients.lua.html
-rw-r--r--   1 edrx edrx  16624 Aug  7  2015 zrect.lua
-rw-r--r--   1 edrx edrx  21390 Nov  6 17:41 zrect.lua.html