drwxr-xr-x 3 edrx edrx   4096 Feb 17 21:58 ./
drwxr-xr-x 3 edrx edrx  53248 Feb 17 21:59 ../
-rw-r--r-- 1 edrx edrx   3404 Nov  8 13:02 abbrevs.lua
-rw-r--r-- 1 edrx edrx   4752 Feb 17 21:58 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx   1981 Jul 13  2017 bbox.lua
-rw-r--r-- 1 edrx edrx   3279 Feb 17 21:58 bbox.lua.html
-rw-r--r-- 1 edrx edrx    394 Aug  7  2015 binloader.lua
-rw-r--r-- 1 edrx edrx   1163 Feb 17 21:58 binloader.lua.html
-rw-r--r-- 1 edrx edrx   9448 Jan 13 17:00 block.lua
-rw-r--r-- 1 edrx edrx  13084 Feb 17 21:58 block.lua.html
-rwxr-xr-x 1 edrx edrx   7051 Jan 13 16:55 dednat6.lua*
-rw-r--r-- 1 edrx edrx  16616 Feb 17 21:58 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  10237 Jul 16  2018 diagforth.lua
-rw-r--r-- 1 edrx edrx  17748 Feb 17 21:58 diagforth.lua.html
-rw-r--r-- 1 edrx edrx   5932 Aug 16  2015 diagmiddle.lua
-rw-r--r-- 1 edrx edrx   9048 Feb 17 21:58 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3133 Aug 22  2015 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5365 Feb 17 21:58 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   6368 Dec 23 21:50 diagtex.lua
-rw-r--r-- 1 edrx edrx  11987 Feb 17 21:58 diagtex.lua.html
-rw-r--r-- 1 edrx edrx  85542 Feb 11 17:25 edrxlib.lua
-rw-r--r-- 1 edrx edrx 143234 Feb 17 21:58 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx   6442 Jan 13 16:51 eoo.lua
-rw-r--r-- 1 edrx edrx   9802 Feb 17 21:58 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1129 Aug  8  2015 errors.lua
-rw-r--r-- 1 edrx edrx   1917 Feb 17 21:58 errors.lua.html
-rw-r--r-- 1 edrx edrx   3518 Jan 13 16:54 heads6.lua
-rw-r--r-- 1 edrx edrx   9009 Feb 17 21:58 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Feb 17 21:58 lua-repl/
-rw-r--r-- 1 edrx edrx   1759 Jul 13  2017 lualoader.lua
-rw-r--r-- 1 edrx edrx   3233 Feb 17 21:58 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  15539 Sep 28  2015 luarects.lua
-rw-r--r-- 1 edrx edrx  22085 Feb 17 21:58 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1309 Oct 15 20:11 luarepl.lua
-rw-r--r-- 1 edrx edrx   3440 Feb 17 21:58 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   2086 Aug 22  2015 options6.lua
-rw-r--r-- 1 edrx edrx   4099 Feb 17 21:58 options6.lua.html
-rw-r--r-- 1 edrx edrx   2783 Sep  3  2016 output.lua
-rw-r--r-- 1 edrx edrx   5699 Feb 17 21:58 output.lua.html
-rw-r--r-- 1 edrx edrx   1767 Aug 28  2015 parse.lua
-rw-r--r-- 1 edrx edrx   3168 Feb 17 21:58 parse.lua.html
-rw-r--r-- 1 edrx edrx  23492 Dec 19 09:43 picture.lua
-rw-r--r-- 1 edrx edrx  33264 Feb 17 21:58 picture.lua.html
-rw-r--r-- 1 edrx edrx   2542 Dec 19 13:50 preamble6.lua
-rw-r--r-- 1 edrx edrx   4797 Feb 17 21:58 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   7033 Jan 15 20:29 rect.lua
-rw-r--r-- 1 edrx edrx  12094 Feb 17 21:58 rect.lua.html
-rw-r--r-- 1 edrx edrx   3150 Aug 28  2015 stacks.lua
-rw-r--r-- 1 edrx edrx   5398 Feb 17 21:58 stacks.lua.html
-rw-r--r-- 1 edrx edrx   5235 Jan  3 23:06 texfile.lua
-rw-r--r-- 1 edrx edrx   8981 Feb 17 21:58 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5016 Jan 15 23:23 treesegs.lua
-rw-r--r-- 1 edrx edrx   9051 Feb 17 21:58 treesegs.lua.html
-rw-r--r-- 1 edrx edrx   4715 Jan 18 11:33 treetex.lua
-rw-r--r-- 1 edrx edrx   8259 Feb 17 21:58 treetex.lua.html
-rw-r--r-- 1 edrx edrx   4944 Sep 23  2015 underbrace.lua
-rw-r--r-- 1 edrx edrx   8531 Feb 17 21:58 underbrace.lua.html
-rw-r--r-- 1 edrx edrx  44662 Dec 30 21:39 zhas.lua
-rw-r--r-- 1 edrx edrx  67727 Feb 17 21:58 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9289 Dec 30 21:09 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14506 Feb 17 21:58 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2600 Nov 14 15:14 zquotients.lua
-rw-r--r-- 1 edrx edrx   3502 Feb 17 21:58 zquotients.lua.html