drwxr-xr-x 3 edrx edrx   4096 Sep 24 01:44 ./
drwxr-xr-x 4 edrx edrx   4096 Sep 24 01:45 ../
-rw-r--r-- 1 edrx edrx   3849 Feb 21  2020 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5516 Sep 24 01:44 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx    418 Feb 21  2020 binloader.lua
-rw-r--r-- 1 edrx edrx   1225 Sep 24 01:44 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10775 Feb 21  2020 block.lua
-rw-r--r-- 1 edrx edrx  15052 Sep 24 01:44 block.lua.html
-rwxr-xr-x 1 edrx edrx   7420 Feb 21  2020 dednat6.lua*
-rw-r--r-- 1 edrx edrx  17929 Sep 24 01:44 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  10612 Jul 30 01:51 diagforth.lua
-rw-r--r-- 1 edrx edrx  18926 Sep 24 01:44 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10251 Feb 21  2020 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  15700 Sep 24 01:44 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 21  2020 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5341 Sep 24 01:44 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9177 Mar 17  2020 diagtex.lua
-rw-r--r-- 1 edrx edrx  15260 Sep 24 01:44 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5673 Mar 17  2020 diagtikz.lua
-rw-r--r-- 1 edrx edrx  10715 Sep 24 01:44 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx  91549 Jun  5 23:28 edrxlib.lua
-rw-r--r-- 1 edrx edrx 154763 Sep 24 01:44 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12201 Feb 21  2020 eoo.lua
-rw-r--r-- 1 edrx edrx  18580 Sep 24 01:44 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1088 Feb 21  2020 errors.lua
-rw-r--r-- 1 edrx edrx   1844 Sep 24 01:44 errors.lua.html
-rw-r--r-- 1 edrx edrx   4040 Aug 24 03:18 heads6.lua
-rw-r--r-- 1 edrx edrx  10554 Sep 24 01:44 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Sep 24 01:44 lua-repl/
-rw-r--r-- 1 edrx edrx   1911 Feb 21  2020 lualoader.lua
-rw-r--r-- 1 edrx edrx   3556 Sep 24 01:44 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16485 Jun  5 23:43 luarects.lua
-rw-r--r-- 1 edrx edrx  22974 Sep 24 01:44 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1315 Feb 21  2020 luarepl.lua
-rw-r--r-- 1 edrx edrx   3515 Sep 24 01:44 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   7109 Jun  6 01:18 minimalcore.lua
-rw-r--r-- 1 edrx edrx   8499 Sep 24 01:44 minimalcore.lua.html
-rw-r--r-- 1 edrx edrx   2842 Feb 21  2020 options6.lua
-rw-r--r-- 1 edrx edrx   6146 Sep 24 01:44 options6.lua.html
-rw-r--r-- 1 edrx edrx   7042 Jun  5 23:40 output.lua
-rw-r--r-- 1 edrx edrx  12192 Sep 24 01:44 output.lua.html
-rw-r--r-- 1 edrx edrx   1803 Feb 21  2020 parse.lua
-rw-r--r-- 1 edrx edrx   3368 Sep 24 01:44 parse.lua.html
-rw-r--r-- 1 edrx edrx  32538 Feb 21  2020 picture.lua
-rw-r--r-- 1 edrx edrx  46671 Sep 24 01:44 picture.lua.html
-rw-r--r-- 1 edrx edrx   2571 Feb 21  2020 preamble6.lua
-rw-r--r-- 1 edrx edrx   4932 Sep 24 01:44 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   8505 Aug 24 04:40 rect.lua
-rw-r--r-- 1 edrx edrx  13860 Sep 24 01:44 rect.lua.html
-rw-r--r-- 1 edrx edrx   3078 Feb 21  2020 stacks.lua
-rw-r--r-- 1 edrx edrx   4973 Sep 24 01:44 stacks.lua.html
-rw-r--r-- 1 edrx edrx  17981 Feb 21  2020 tcgs.lua
-rw-r--r-- 1 edrx edrx  26332 Sep 24 01:44 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5301 Feb 21  2020 texfile.lua
-rw-r--r-- 1 edrx edrx   9196 Sep 24 01:44 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5360 Aug 24 03:03 treesegs.lua
-rw-r--r-- 1 edrx edrx   9474 Sep 24 01:44 treesegs.lua.html
-rw-r--r-- 1 edrx edrx  12543 Aug 24 04:11 treetex.lua
-rw-r--r-- 1 edrx edrx  18589 Sep 24 01:44 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5253 Feb 21  2020 underbrace.lua
-rw-r--r-- 1 edrx edrx   8532 Sep 24 01:44 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4668 Feb 21  2020 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   6873 Sep 24 01:44 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46508 Feb 21  2020 zhas.lua
-rw-r--r-- 1 edrx edrx  71480 Sep 24 01:44 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9566 Feb 21  2020 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14854 Sep 24 01:44 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2779 Feb 21  2020 zquotients.lua
-rw-r--r-- 1 edrx edrx   3843 Sep 24 01:44 zquotients.lua.html