drwxr-xr-x 3 edrx edrx   4096 Mar 23 02:55 ./
drwxr-xr-x 4 edrx edrx   4096 Mar 23 02:55 ../
-rw-r--r-- 1 edrx edrx   3849 Feb 21  2020 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5413 Mar 23 02:55 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx    418 Feb 21  2020 binloader.lua
-rw-r--r-- 1 edrx edrx   1213 Mar 23 02:55 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10835 Mar 20 19:04 block.lua
-rw-r--r-- 1 edrx edrx  15116 Mar 23 02:55 block.lua.html
-rwxr-xr-x 1 edrx edrx   7665 Dec  4 02:19 dednat6.lua*
-rw-r--r-- 1 edrx edrx  18121 Mar 23 02:55 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  11702 Feb 26 19:39 diagforth.lua
-rw-r--r-- 1 edrx edrx  20440 Mar 23 02:55 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10251 Feb 21  2020 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  15624 Mar 23 02:55 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 21  2020 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5345 Mar 23 02:55 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9177 Mar 17  2020 diagtex.lua
-rw-r--r-- 1 edrx edrx  15191 Mar 23 02:55 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5673 Mar 17  2020 diagtikz.lua
-rw-r--r-- 1 edrx edrx  10733 Mar 23 02:55 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx  92889 Mar  8 02:24 edrxlib.lua
-rw-r--r-- 1 edrx edrx 151879 Mar 23 02:55 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12201 Feb 21  2020 eoo.lua
-rw-r--r-- 1 edrx edrx  17430 Mar 23 02:55 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1305 Jan 24 14:44 errors.lua
-rw-r--r-- 1 edrx edrx   2178 Mar 23 02:55 errors.lua.html
-rw-r--r-- 1 edrx edrx   4038 Mar 20 19:05 heads6.lua
-rw-r--r-- 1 edrx edrx  10478 Mar 23 02:55 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Mar 23 02:54 lua-repl/
-rw-r--r-- 1 edrx edrx   3427 Nov  6 02:53 lualoader.lua
-rw-r--r-- 1 edrx edrx   6674 Mar 23 02:55 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16485 Jun  5  2020 luarects.lua
-rw-r--r-- 1 edrx edrx  22696 Mar 23 02:55 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1315 Feb 21  2020 luarepl.lua
-rw-r--r-- 1 edrx edrx   3503 Mar 23 02:55 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   7109 Jun  6  2020 minimalcore.lua
-rw-r--r-- 1 edrx edrx   8076 Mar 23 02:55 minimalcore.lua.html
-rw-r--r-- 1 edrx edrx   2842 Feb 21  2020 options6.lua
-rw-r--r-- 1 edrx edrx   5540 Mar 23 02:55 options6.lua.html
-rw-r--r-- 1 edrx edrx   7042 Jun  5  2020 output.lua
-rw-r--r-- 1 edrx edrx  11995 Mar 23 02:55 output.lua.html
-rw-r--r-- 1 edrx edrx   2709 Jan 24 14:36 parse.lua
-rw-r--r-- 1 edrx edrx   4537 Mar 23 02:55 parse.lua.html
-rw-r--r-- 1 edrx edrx  32580 Mar  2 04:42 picture.lua
-rw-r--r-- 1 edrx edrx  45936 Mar 23 02:55 picture.lua.html
-rw-r--r-- 1 edrx edrx   2571 Feb 21  2020 preamble6.lua
-rw-r--r-- 1 edrx edrx   4259 Mar 23 02:55 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   9184 Feb 20 17:15 rect.lua
-rw-r--r-- 1 edrx edrx  14555 Mar 23 02:55 rect.lua.html
-rw-r--r-- 1 edrx edrx   3078 Feb 21  2020 stacks.lua
-rw-r--r-- 1 edrx edrx   4969 Mar 23 02:55 stacks.lua.html
-rw-r--r-- 1 edrx edrx  17981 Feb 21  2020 tcgs.lua
-rw-r--r-- 1 edrx edrx  25682 Mar 23 02:55 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5301 Feb 21  2020 texfile.lua
-rw-r--r-- 1 edrx edrx   9095 Mar 23 02:55 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5364 Sep  5  2020 treesegs.lua
-rw-r--r-- 1 edrx edrx   9490 Mar 23 02:55 treesegs.lua.html
-rw-r--r-- 1 edrx edrx  12543 Aug 24  2020 treetex.lua
-rw-r--r-- 1 edrx edrx  18617 Mar 23 02:55 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5253 Feb 21  2020 underbrace.lua
-rw-r--r-- 1 edrx edrx   8532 Mar 23 02:55 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4805 Jan 24 15:59 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   6881 Mar 23 02:55 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46508 Feb 21  2020 zhas.lua
-rw-r--r-- 1 edrx edrx  69523 Mar 23 02:55 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9566 Feb 21  2020 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14375 Mar 23 02:55 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2779 Feb 21  2020 zquotients.lua
-rw-r--r-- 1 edrx edrx   3831 Mar 23 02:55 zquotients.lua.html