drwxr-xr-x 3 edrx edrx   4096 Aug 18 00:21 ./
drwxr-xr-x 3 edrx edrx  57344 Aug 18 00:22 ../
-rw-r--r-- 1 edrx edrx   3825 Jul  6 22:20 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5474 Aug 18 00:21 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx   1981 Jul  6 22:21 bbox.lua
-rw-r--r-- 1 edrx edrx   3315 Aug 18 00:21 bbox.lua.html
-rw-r--r-- 1 edrx edrx    394 Aug  7  2015 binloader.lua
-rw-r--r-- 1 edrx edrx   1175 Aug 18 00:21 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10692 Jul  6 22:31 block.lua
-rw-r--r-- 1 edrx edrx  14947 Aug 18 00:21 block.lua.html
-rwxr-xr-x 1 edrx edrx   7428 Jul  6 22:24 dednat6.lua*
-rw-r--r-- 1 edrx edrx  18075 Aug 18 00:21 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  10237 Jul 16  2018 diagforth.lua
-rw-r--r-- 1 edrx edrx  17987 Aug 18 00:21 diagforth.lua.html
-rw-r--r-- 1 edrx edrx   5932 Aug 16  2015 diagmiddle.lua
-rw-r--r-- 1 edrx edrx   9146 Aug 18 00:21 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3133 Aug 22  2015 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5433 Aug 18 00:21 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   6371 Aug 11 20:21 diagtex.lua
-rw-r--r-- 1 edrx edrx  12170 Aug 18 00:21 diagtex.lua.html
-rw-r--r-- 1 edrx edrx  92540 Aug 13 21:24 edrxlib.lua
-rw-r--r-- 1 edrx edrx 155048 Aug 18 00:21 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12168 Jul  6 22:33 eoo.lua
-rw-r--r-- 1 edrx edrx  18639 Aug 18 00:21 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1129 Aug  8  2015 errors.lua
-rw-r--r-- 1 edrx edrx   1935 Aug 18 00:21 errors.lua.html
-rw-r--r-- 1 edrx edrx   3699 May  1 23:21 heads6.lua
-rw-r--r-- 1 edrx edrx   9501 Aug 18 00:21 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Aug 18 00:21 lua-repl/
-rw-r--r-- 1 edrx edrx   1741 Jul  6 22:34 lualoader.lua
-rw-r--r-- 1 edrx edrx   3235 Aug 18 00:21 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  15546 Aug 12 02:09 luarects.lua
-rw-r--r-- 1 edrx edrx  22337 Aug 18 00:21 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1291 Jul  6 22:40 luarepl.lua
-rw-r--r-- 1 edrx edrx   3471 Aug 18 00:21 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   2835 Jul  6 22:42 options6.lua
-rw-r--r-- 1 edrx edrx   6205 Aug 18 00:21 options6.lua.html
-rw-r--r-- 1 edrx edrx   6899 Aug 15 23:16 output.lua
-rw-r--r-- 1 edrx edrx  12048 Aug 18 00:21 output.lua.html
-rw-r--r-- 1 edrx edrx   1826 Apr 29 21:49 parse.lua
-rw-r--r-- 1 edrx edrx   3576 Aug 18 00:21 parse.lua.html
-rw-r--r-- 1 edrx edrx  29608 Aug 12 01:22 picture.lua
-rw-r--r-- 1 edrx edrx  42269 Aug 18 00:21 picture.lua.html
-rw-r--r-- 1 edrx edrx   2542 Jul  6 22:45 preamble6.lua
-rw-r--r-- 1 edrx edrx   4891 Aug 18 00:21 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   7033 Jan 15  2019 rect.lua
-rw-r--r-- 1 edrx edrx  12255 Aug 18 00:21 rect.lua.html
-rw-r--r-- 1 edrx edrx   3150 Aug 28  2015 stacks.lua
-rw-r--r-- 1 edrx edrx   5462 Aug 18 00:21 stacks.lua.html
-rw-r--r-- 1 edrx edrx  17742 Jul  6 22:45 tcgs.lua
-rw-r--r-- 1 edrx edrx  25892 Aug 18 00:21 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5235 Jan  3  2019 texfile.lua
-rw-r--r-- 1 edrx edrx   9112 Aug 18 00:21 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5059 Apr  3 19:08 treesegs.lua
-rw-r--r-- 1 edrx edrx   9247 Aug 18 00:21 treesegs.lua.html
-rw-r--r-- 1 edrx edrx   4908 Jul  6 22:46 treetex.lua
-rw-r--r-- 1 edrx edrx   8549 Aug 18 00:21 treetex.lua.html
-rw-r--r-- 1 edrx edrx   4944 Sep 23  2015 underbrace.lua
-rw-r--r-- 1 edrx edrx   8651 Aug 18 00:21 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4485 Jul  6 22:46 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   6479 Aug 18 00:21 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  45829 Aug 12 05:04 zhas.lua
-rw-r--r-- 1 edrx edrx  71329 Aug 18 00:21 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9548 Aug 12 01:31 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  15038 Aug 18 00:21 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2600 Nov 14  2018 zquotients.lua
-rw-r--r-- 1 edrx edrx   3517 Aug 18 00:21 zquotients.lua.html