drwxr-xr-x 3 edrx edrx   4096 Apr 18 23:27 ./
drwxr-xr-x 3 edrx edrx  57344 Apr 18 23:28 ../
-rw-r--r-- 1 edrx edrx   3404 Nov  8 13:02 abbrevs.lua
-rw-r--r-- 1 edrx edrx   4779 Apr 18 23:27 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx   1981 Jul 13  2017 bbox.lua
-rw-r--r-- 1 edrx edrx   3309 Apr 18 23:27 bbox.lua.html
-rw-r--r-- 1 edrx edrx    394 Aug  7  2015 binloader.lua
-rw-r--r-- 1 edrx edrx   1169 Apr 18 23:27 binloader.lua.html
-rw-r--r-- 1 edrx edrx   9448 Jan 13 17:00 block.lua
-rw-r--r-- 1 edrx edrx  13174 Apr 18 23:27 block.lua.html
-rwxr-xr-x 1 edrx edrx   7051 Jan 13 16:55 dednat6.lua*
-rw-r--r-- 1 edrx edrx  16922 Apr 18 23:27 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  10237 Jul 16  2018 diagforth.lua
-rw-r--r-- 1 edrx edrx  17939 Apr 18 23:27 diagforth.lua.html
-rw-r--r-- 1 edrx edrx   5932 Aug 16  2015 diagmiddle.lua
-rw-r--r-- 1 edrx edrx   9122 Apr 18 23:27 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3133 Aug 22  2015 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5409 Apr 18 23:27 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   6368 Dec 23 21:50 diagtex.lua
-rw-r--r-- 1 edrx edrx  12131 Apr 18 23:27 diagtex.lua.html
-rw-r--r-- 1 edrx edrx  85542 Feb 11 17:25 edrxlib.lua
-rw-r--r-- 1 edrx edrx 144789 Apr 18 23:27 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12186 Feb 22 04:21 eoo.lua
-rw-r--r-- 1 edrx edrx  18651 Apr 18 23:27 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1129 Aug  8  2015 errors.lua
-rw-r--r-- 1 edrx edrx   1923 Apr 18 23:27 errors.lua.html
-rw-r--r-- 1 edrx edrx   3518 Jan 13 16:54 heads6.lua
-rw-r--r-- 1 edrx edrx   9145 Apr 18 23:27 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Apr 18 23:27 lua-repl/
-rw-r--r-- 1 edrx edrx   1759 Jul 13  2017 lualoader.lua
-rw-r--r-- 1 edrx edrx   3254 Apr 18 23:27 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  15539 Sep 28  2015 luarects.lua
-rw-r--r-- 1 edrx edrx  22282 Apr 18 23:27 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1309 Oct 15  2018 luarepl.lua
-rw-r--r-- 1 edrx edrx   3501 Apr 18 23:27 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   2086 Aug 22  2015 options6.lua
-rw-r--r-- 1 edrx edrx   4147 Apr 18 23:27 options6.lua.html
-rw-r--r-- 1 edrx edrx   4758 Feb 19 23:14 output.lua
-rw-r--r-- 1 edrx edrx   8057 Apr 18 23:27 output.lua.html
-rw-r--r-- 1 edrx edrx   1767 Aug 28  2015 parse.lua
-rw-r--r-- 1 edrx edrx   3195 Apr 18 23:27 parse.lua.html
-rw-r--r-- 1 edrx edrx  23492 Dec 19 09:43 picture.lua
-rw-r--r-- 1 edrx edrx  33564 Apr 18 23:27 picture.lua.html
-rw-r--r-- 1 edrx edrx   2542 Dec 19 13:50 preamble6.lua
-rw-r--r-- 1 edrx edrx   4858 Apr 18 23:27 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   7033 Jan 15 20:29 rect.lua
-rw-r--r-- 1 edrx edrx  12243 Apr 18 23:27 rect.lua.html
-rw-r--r-- 1 edrx edrx   3150 Aug 28  2015 stacks.lua
-rw-r--r-- 1 edrx edrx   5456 Apr 18 23:27 stacks.lua.html
-rw-r--r-- 1 edrx edrx   5235 Jan  3 23:06 texfile.lua
-rw-r--r-- 1 edrx edrx   9075 Apr 18 23:27 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5059 Apr  3 19:08 treesegs.lua
-rw-r--r-- 1 edrx edrx   9193 Apr 18 23:27 treesegs.lua.html
-rw-r--r-- 1 edrx edrx   4920 Apr  4 00:00 treetex.lua
-rw-r--r-- 1 edrx edrx   8543 Apr 18 23:27 treetex.lua.html
-rw-r--r-- 1 edrx edrx   4944 Sep 23  2015 underbrace.lua
-rw-r--r-- 1 edrx edrx   8633 Apr 18 23:27 underbrace.lua.html
-rw-r--r-- 1 edrx edrx  44662 Dec 30 21:39 zhas.lua
-rw-r--r-- 1 edrx edrx  68488 Apr 18 23:27 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9289 Dec 30 21:09 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14662 Apr 18 23:27 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2600 Nov 14 15:14 zquotients.lua
-rw-r--r-- 1 edrx edrx   3517 Apr 18 23:27 zquotients.lua.html