drwxr-xr-x 3 edrx edrx   4096 Sep 11 06:04 ./
drwxr-xr-x 6 edrx edrx 139264 Sep 11 06:06 ../
-rw-r--r-- 1 edrx edrx   3838 Sep  8  2024 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5662 Sep 11 06:04 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx   1990 Nov 19  2021 bbox.lua
-rw-r--r-- 1 edrx edrx   3581 Sep 11 06:04 bbox.lua.html
-rw-r--r-- 1 edrx edrx    415 Nov 19  2021 binloader.lua
-rw-r--r-- 1 edrx edrx   1391 Sep 11 06:04 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10853 Nov 19  2021 block.lua
-rw-r--r-- 1 edrx edrx  15902 Sep 11 06:04 block.lua.html
-rwxr-xr-x 1 edrx edrx   7725 Nov 19  2021 dednat6.lua*
-rw-r--r-- 1 edrx edrx  19968 Sep 11 06:04 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  11858 Jul  5 04:41 diagforth.lua
-rw-r--r-- 1 edrx edrx  21579 Sep 11 06:04 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10269 Nov 19  2021 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  15984 Sep 11 06:04 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 22  2020 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5570 Sep 11 06:04 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9456 Jul  5 04:12 diagtex.lua
-rw-r--r-- 1 edrx edrx  16989 Sep 11 06:04 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5685 Nov 19  2021 diagtikz.lua
-rw-r--r-- 1 edrx edrx  11271 Sep 11 06:04 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx  89349 Mar 26 20:32 edrxlib.lua
-rw-r--r-- 1 edrx edrx 172872 Sep 11 06:04 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12207 Nov 19  2021 eoo.lua
-rw-r--r-- 1 edrx edrx  18868 Sep 11 06:04 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1305 Jan 24  2021 errors.lua
-rw-r--r-- 1 edrx edrx   2385 Sep 11 06:04 errors.lua.html
-rw-r--r-- 1 edrx edrx   4087 Sep  8  2024 heads6.lua
-rw-r--r-- 1 edrx edrx  11230 Sep 11 06:04 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Sep 11 06:04 lua-repl/
-rw-r--r-- 1 edrx edrx   6837 Dec 10  2023 lualoader.lua
-rw-r--r-- 1 edrx edrx  11193 Sep 11 06:04 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16446 Nov 27  2021 luarects.lua
-rw-r--r-- 1 edrx edrx  23138 Sep 11 06:04 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1578 Nov 19  2021 luarepl.lua
-rw-r--r-- 1 edrx edrx   3561 Sep 11 06:04 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   2848 Nov 19  2021 options6.lua
-rw-r--r-- 1 edrx edrx   5971 Sep 11 06:04 options6.lua.html
-rw-r--r-- 1 edrx edrx  11383 Nov 19  2021 output.lua
-rw-r--r-- 1 edrx edrx  20270 Sep 11 06:04 output.lua.html
-rw-r--r-- 1 edrx edrx   2779 Jun 30 01:14 parse.lua
-rw-r--r-- 1 edrx edrx   5141 Sep 11 06:04 parse.lua.html
-rw-r--r-- 1 edrx edrx  32826 Apr  5 04:00 picture.lua
-rw-r--r-- 1 edrx edrx  48544 Sep 11 06:04 picture.lua.html
-rw-r--r-- 1 edrx edrx   2700 Oct  2  2023 preamble6.lua
-rw-r--r-- 1 edrx edrx   5019 Sep 11 06:04 preamble6.lua.html
-rw-r--r-- 1 edrx edrx  10756 Mar 26 20:55 rect.lua
-rw-r--r-- 1 edrx edrx  16700 Sep 11 06:04 rect.lua.html
-rw-r--r-- 1 edrx edrx   3115 Jun 28 06:11 stacks.lua
-rw-r--r-- 1 edrx edrx   5278 Sep 11 06:04 stacks.lua.html
-rw-r--r-- 1 edrx edrx  19097 Nov 19  2021 tcgs.lua
-rw-r--r-- 1 edrx edrx  28637 Sep 11 06:04 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5313 Nov 19  2021 texfile.lua
-rw-r--r-- 1 edrx edrx   9652 Sep 11 06:04 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5719 Nov 19  2021 treesegs.lua
-rw-r--r-- 1 edrx edrx  10612 Sep 11 06:04 treesegs.lua.html
-rw-r--r-- 1 edrx edrx  12561 Nov 19  2021 treetex.lua
-rw-r--r-- 1 edrx edrx  19159 Sep 11 06:04 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5271 Nov 19  2021 underbrace.lua
-rw-r--r-- 1 edrx edrx   8932 Sep 11 06:04 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4956 Apr  6  2024 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   7650 Sep 11 06:04 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46388 Apr  4 16:09 zhas.lua
-rw-r--r-- 1 edrx edrx  70852 Sep 11 06:04 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9545 Nov 27  2021 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  15067 Sep 11 06:04 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2782 Nov 19  2021 zquotients.lua
-rw-r--r-- 1 edrx edrx   4058 Sep 11 06:04 zquotients.lua.html