drwxr-xr-x 3 edrx edrx   4096 Jan 18 20:31 ./
drwxr-xr-x 4 edrx edrx   4096 Jan 18 20:31 ../
-rw-r--r-- 1 edrx edrx   3849 Feb 21  2020 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5413 Jan 18 20:31 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx    418 Feb 21  2020 binloader.lua
-rw-r--r-- 1 edrx edrx   1213 Jan 18 20:31 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10775 Feb 21  2020 block.lua
-rw-r--r-- 1 edrx edrx  14358 Jan 18 20:31 block.lua.html
-rwxr-xr-x 1 edrx edrx   7584 Nov  6 02:42 dednat6.lua*
-rw-r--r-- 1 edrx edrx  16750 Jan 18 20:31 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  10612 Jul 30 01:51 diagforth.lua
-rw-r--r-- 1 edrx edrx  16188 Jan 18 20:31 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10251 Feb 21  2020 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  13838 Jan 18 20:31 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 21  2020 diagstacks.lua
-rw-r--r-- 1 edrx edrx   4675 Jan 18 20:31 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9177 Mar 17  2020 diagtex.lua
-rw-r--r-- 1 edrx edrx  13602 Jan 18 20:31 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5673 Mar 17  2020 diagtikz.lua
-rw-r--r-- 1 edrx edrx   9388 Jan 18 20:31 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx  91017 Nov  5 01:37 edrxlib.lua
-rw-r--r-- 1 edrx edrx 127084 Jan 18 20:31 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12201 Feb 21  2020 eoo.lua
-rw-r--r-- 1 edrx edrx  15632 Jan 18 20:31 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1088 Feb 21  2020 errors.lua
-rw-r--r-- 1 edrx edrx   1832 Jan 18 20:31 errors.lua.html
-rw-r--r-- 1 edrx edrx   4040 Aug 24 03:18 heads6.lua
-rw-r--r-- 1 edrx edrx   9081 Jan 18 20:31 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Jan 18 20:30 lua-repl/
-rw-r--r-- 1 edrx edrx   3427 Nov  6 02:53 lualoader.lua
-rw-r--r-- 1 edrx edrx   5936 Jan 18 20:31 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16485 Jun  5  2020 luarects.lua
-rw-r--r-- 1 edrx edrx  21417 Jan 18 20:31 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1315 Feb 21  2020 luarepl.lua
-rw-r--r-- 1 edrx edrx   3503 Jan 18 20:31 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   7109 Jun  6  2020 minimalcore.lua
-rw-r--r-- 1 edrx edrx   8076 Jan 18 20:31 minimalcore.lua.html
-rw-r--r-- 1 edrx edrx   2842 Feb 21  2020 options6.lua
-rw-r--r-- 1 edrx edrx   4830 Jan 18 20:31 options6.lua.html
-rw-r--r-- 1 edrx edrx   7042 Jun  5  2020 output.lua
-rw-r--r-- 1 edrx edrx  10661 Jan 18 20:31 output.lua.html
-rw-r--r-- 1 edrx edrx   1803 Feb 21  2020 parse.lua
-rw-r--r-- 1 edrx edrx   3094 Jan 18 20:31 parse.lua.html
-rw-r--r-- 1 edrx edrx  32538 Feb 21  2020 picture.lua
-rw-r--r-- 1 edrx edrx  42681 Jan 18 20:31 picture.lua.html
-rw-r--r-- 1 edrx edrx   2571 Feb 21  2020 preamble6.lua
-rw-r--r-- 1 edrx edrx   3913 Jan 18 20:31 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   8505 Aug 24 04:40 rect.lua
-rw-r--r-- 1 edrx edrx  12633 Jan 18 20:31 rect.lua.html
-rw-r--r-- 1 edrx edrx   3078 Feb 21  2020 stacks.lua
-rw-r--r-- 1 edrx edrx   4627 Jan 18 20:31 stacks.lua.html
-rw-r--r-- 1 edrx edrx  17981 Feb 21  2020 tcgs.lua
-rw-r--r-- 1 edrx edrx  23948 Jan 18 20:31 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5301 Feb 21  2020 texfile.lua
-rw-r--r-- 1 edrx edrx   8216 Jan 18 20:31 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5364 Sep  5 02:40 treesegs.lua
-rw-r--r-- 1 edrx edrx   8428 Jan 18 20:31 treesegs.lua.html
-rw-r--r-- 1 edrx edrx  12543 Aug 24 04:11 treetex.lua
-rw-r--r-- 1 edrx edrx  16809 Jan 18 20:31 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5253 Feb 21  2020 underbrace.lua
-rw-r--r-- 1 edrx edrx   8025 Jan 18 20:31 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4668 Feb 21  2020 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   6245 Jan 18 20:31 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46508 Feb 21  2020 zhas.lua
-rw-r--r-- 1 edrx edrx  63126 Jan 18 20:31 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9566 Feb 21  2020 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  13281 Jan 18 20:31 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2779 Feb 21  2020 zquotients.lua
-rw-r--r-- 1 edrx edrx   3831 Jan 18 20:31 zquotients.lua.html