drwxr-xr-x 3 edrx edrx   4096 Oct 21 03:47 ./
drwxr-xr-x 4 edrx edrx   4096 Oct 21 03:48 ../
-rw-r--r-- 1 edrx edrx   3849 Feb 21  2020 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5413 Oct 21 03:47 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx    418 Feb 21  2020 binloader.lua
-rw-r--r-- 1 edrx edrx   1213 Oct 21 03:47 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10835 Mar 20  2021 block.lua
-rw-r--r-- 1 edrx edrx  15653 Oct 21 03:47 block.lua.html
-rwxr-xr-x 1 edrx edrx   7665 Dec  4  2020 dednat6.lua*
-rw-r--r-- 1 edrx edrx  19904 Oct 21 03:47 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  11702 Feb 26  2021 diagforth.lua
-rw-r--r-- 1 edrx edrx  21145 Oct 21 03:47 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10251 Feb 21  2020 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  15993 Oct 21 03:47 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 21  2020 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5588 Oct 21 03:47 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9177 Mar 17  2020 diagtex.lua
-rw-r--r-- 1 edrx edrx  15770 Oct 21 03:47 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5673 Mar 17  2020 diagtikz.lua
-rw-r--r-- 1 edrx edrx  11298 Oct 21 03:47 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx  97779 Oct 20 23:45 edrxlib.lua
-rw-r--r-- 1 edrx edrx 169469 Oct 21 03:47 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12201 Feb 21  2020 eoo.lua
-rw-r--r-- 1 edrx edrx  18861 Oct 21 03:47 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1305 Jan 24  2021 errors.lua
-rw-r--r-- 1 edrx edrx   2393 Oct 21 03:47 errors.lua.html
-rw-r--r-- 1 edrx edrx   4038 Mar 20  2021 heads6.lua
-rw-r--r-- 1 edrx edrx  11281 Oct 21 03:47 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Oct 21 03:46 lua-repl/
-rw-r--r-- 1 edrx edrx   3427 Nov  6  2020 lualoader.lua
-rw-r--r-- 1 edrx edrx   6674 Oct 21 03:47 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16460 Apr 25 22:24 luarects.lua
-rw-r--r-- 1 edrx edrx  23264 Oct 21 03:47 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1315 Feb 21  2020 luarepl.lua
-rw-r--r-- 1 edrx edrx   3942 Oct 21 03:47 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   7109 Jun  6  2020 minimalcore.lua
-rw-r--r-- 1 edrx edrx   8291 Oct 21 03:47 minimalcore.lua.html
-rw-r--r-- 1 edrx edrx   2842 Feb 21  2020 options6.lua
-rw-r--r-- 1 edrx edrx   5853 Oct 21 03:47 options6.lua.html
-rw-r--r-- 1 edrx edrx  11274 Jun  6 00:18 output.lua
-rw-r--r-- 1 edrx edrx  19741 Oct 21 03:47 output.lua.html
-rw-r--r-- 1 edrx edrx   2709 Jan 24  2021 parse.lua
-rw-r--r-- 1 edrx edrx   4766 Oct 21 03:47 parse.lua.html
-rw-r--r-- 1 edrx edrx  32580 Mar  2  2021 picture.lua
-rw-r--r-- 1 edrx edrx  47271 Oct 21 03:47 picture.lua.html
-rw-r--r-- 1 edrx edrx   2571 Feb 21  2020 preamble6.lua
-rw-r--r-- 1 edrx edrx   4488 Oct 21 03:47 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   9184 Feb 20  2021 rect.lua
-rw-r--r-- 1 edrx edrx  15162 Oct 21 03:47 rect.lua.html
-rw-r--r-- 1 edrx edrx   3078 Feb 21  2020 stacks.lua
-rw-r--r-- 1 edrx edrx   5254 Oct 21 03:47 stacks.lua.html
-rw-r--r-- 1 edrx edrx  19037 Jun 13 00:28 tcgs.lua
-rw-r--r-- 1 edrx edrx  27655 Oct 21 03:47 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5301 Feb 21  2020 texfile.lua
-rw-r--r-- 1 edrx edrx   9534 Oct 21 03:47 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5364 Sep  5  2020 treesegs.lua
-rw-r--r-- 1 edrx edrx   9957 Oct 21 03:47 treesegs.lua.html
-rw-r--r-- 1 edrx edrx  12543 Aug 24  2020 treetex.lua
-rw-r--r-- 1 edrx edrx  19182 Oct 21 03:47 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5253 Feb 21  2020 underbrace.lua
-rw-r--r-- 1 edrx edrx   8929 Oct 21 03:47 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4805 Jan 24  2021 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   7232 Oct 21 03:47 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46508 Feb 21  2020 zhas.lua
-rw-r--r-- 1 edrx edrx  71306 Oct 21 03:47 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9566 Feb 21  2020 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14830 Oct 21 03:47 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2779 Feb 21  2020 zquotients.lua
-rw-r--r-- 1 edrx edrx   3831 Oct 21 03:47 zquotients.lua.html