drwxr-xr-x 3 edrx edrx   4096 Mar 22 19:59 ./
drwxr-xr-x 4 edrx edrx   4096 Mar 22 20:00 ../
-rw-r--r-- 1 edrx edrx   3834 Nov 19  2021 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5660 Mar 22 19:59 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx    415 Nov 19  2021 binloader.lua
-rw-r--r-- 1 edrx edrx   1393 Mar 22 19:59 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10853 Nov 19  2021 block.lua
-rw-r--r-- 1 edrx edrx  15646 Mar 22 19:59 block.lua.html
-rwxr-xr-x 1 edrx edrx   7725 Nov 19  2021 dednat6.lua*
-rw-r--r-- 1 edrx edrx  19970 Mar 22 19:59 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  11720 Nov 19  2021 diagforth.lua
-rw-r--r-- 1 edrx edrx  21101 Mar 22 19:59 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10269 Nov 19  2021 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  15986 Mar 22 19:59 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 21  2020 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5572 Mar 22 19:59 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9169 Nov 19  2021 diagtex.lua
-rw-r--r-- 1 edrx edrx  15678 Mar 22 19:59 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5685 Nov 19  2021 diagtikz.lua
-rw-r--r-- 1 edrx edrx  11273 Mar 22 19:59 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx 109370 Jan 12 20:11 edrxlib.lua
-rw-r--r-- 1 edrx edrx 192153 Mar 22 19:59 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12207 Nov 19  2021 eoo.lua
-rw-r--r-- 1 edrx edrx  18870 Mar 22 19:59 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1305 Jan 24  2021 errors.lua
-rw-r--r-- 1 edrx edrx   2387 Mar 22 19:59 errors.lua.html
-rw-r--r-- 1 edrx edrx   4032 Nov 19  2021 heads6.lua
-rw-r--r-- 1 edrx edrx  11177 Mar 22 19:59 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Mar 22 19:57 lua-repl/
-rw-r--r-- 1 edrx edrx   3440 Nov 19  2021 lualoader.lua
-rw-r--r-- 1 edrx edrx   7030 Mar 22 19:59 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16446 Nov 27  2021 luarects.lua
-rw-r--r-- 1 edrx edrx  23140 Mar 22 19:59 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1578 Nov 19  2021 luarepl.lua
-rw-r--r-- 1 edrx edrx   3563 Mar 22 19:59 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   7109 Jun  6  2020 minimalcore.lua
-rw-r--r-- 1 edrx edrx   8285 Mar 22 19:59 minimalcore.lua.html
-rw-r--r-- 1 edrx edrx   2848 Nov 19  2021 options6.lua
-rw-r--r-- 1 edrx edrx   5973 Mar 22 19:59 options6.lua.html
-rw-r--r-- 1 edrx edrx  11383 Nov 19  2021 output.lua
-rw-r--r-- 1 edrx edrx  20272 Mar 22 19:59 output.lua.html
-rw-r--r-- 1 edrx edrx   2715 Nov 19  2021 parse.lua
-rw-r--r-- 1 edrx edrx   4765 Mar 22 19:59 parse.lua.html
-rw-r--r-- 1 edrx edrx  32609 Nov 27  2021 picture.lua
-rw-r--r-- 1 edrx edrx  47637 Mar 22 19:59 picture.lua.html
-rw-r--r-- 1 edrx edrx   2577 Nov 19  2021 preamble6.lua
-rw-r--r-- 1 edrx edrx   4898 Mar 22 19:59 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   9208 Nov 19  2021 rect.lua
-rw-r--r-- 1 edrx edrx  15154 Mar 22 19:59 rect.lua.html
-rw-r--r-- 1 edrx edrx   3084 Nov 19  2021 stacks.lua
-rw-r--r-- 1 edrx edrx   5249 Mar 22 19:59 stacks.lua.html
-rw-r--r-- 1 edrx edrx  19097 Nov 19  2021 tcgs.lua
-rw-r--r-- 1 edrx edrx  28503 Mar 22 19:59 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5313 Nov 19  2021 texfile.lua
-rw-r--r-- 1 edrx edrx   9654 Mar 22 19:59 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5719 Nov 19  2021 treesegs.lua
-rw-r--r-- 1 edrx edrx  10614 Mar 22 19:59 treesegs.lua.html
-rw-r--r-- 1 edrx edrx  12561 Nov 19  2021 treetex.lua
-rw-r--r-- 1 edrx edrx  19161 Mar 22 19:59 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5271 Nov 19  2021 underbrace.lua
-rw-r--r-- 1 edrx edrx   8934 Mar 22 19:59 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4811 Nov 19  2021 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   7382 Mar 22 19:59 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46296 Nov 27  2021 zhas.lua
-rw-r--r-- 1 edrx edrx  70630 Mar 22 19:59 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9545 Nov 27  2021 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14934 Mar 22 19:59 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2782 Nov 19  2021 zquotients.lua
-rw-r--r-- 1 edrx edrx   4060 Mar 22 19:59 zquotients.lua.html