drwxr-xr-x 3 edrx edrx   4096 May 16 07:41 ./
drwxr-xr-x 3 edrx edrx 131072 May 16 07:42 ../
-rw-r--r-- 1 edrx edrx   3834 Nov 19  2021 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5658 May 16 07:41 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx   1990 Nov 19  2021 bbox.lua
-rw-r--r-- 1 edrx edrx   3581 May 16 07:41 bbox.lua.html
-rw-r--r-- 1 edrx edrx    415 Nov 19  2021 binloader.lua
-rw-r--r-- 1 edrx edrx   1391 May 16 07:41 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10853 Nov 19  2021 block.lua
-rw-r--r-- 1 edrx edrx  15644 May 16 07:41 block.lua.html
-rwxr-xr-x 1 edrx edrx   7725 Nov 19  2021 dednat6.lua*
-rw-r--r-- 1 edrx edrx  19968 May 16 07:41 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  11720 Nov 19  2021 diagforth.lua
-rw-r--r-- 1 edrx edrx  21099 May 16 07:41 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10269 Nov 19  2021 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  15984 May 16 07:41 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 22  2020 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5570 May 16 07:41 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9169 Nov 19  2021 diagtex.lua
-rw-r--r-- 1 edrx edrx  15676 May 16 07:41 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5685 Nov 19  2021 diagtikz.lua
-rw-r--r-- 1 edrx edrx  11271 May 16 07:41 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx  87071 Jan 28 07:30 edrxlib.lua
-rw-r--r-- 1 edrx edrx 169683 May 16 07:41 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12207 Nov 19  2021 eoo.lua
-rw-r--r-- 1 edrx edrx  18868 May 16 07:41 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1305 Jan 24  2021 errors.lua
-rw-r--r-- 1 edrx edrx   2385 May 16 07:41 errors.lua.html
-rw-r--r-- 1 edrx edrx   4012 Nov 11  2023 heads6.lua
-rw-r--r-- 1 edrx edrx  11155 May 16 07:41 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 May 16 07:41 lua-repl/
-rw-r--r-- 1 edrx edrx   6837 Dec 10 06:37 lualoader.lua
-rw-r--r-- 1 edrx edrx  11193 May 16 07:41 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16446 Nov 27  2021 luarects.lua
-rw-r--r-- 1 edrx edrx  23138 May 16 07:41 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1578 Nov 19  2021 luarepl.lua
-rw-r--r-- 1 edrx edrx   3561 May 16 07:41 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   2848 Nov 19  2021 options6.lua
-rw-r--r-- 1 edrx edrx   5971 May 16 07:41 options6.lua.html
-rw-r--r-- 1 edrx edrx  11383 Nov 19  2021 output.lua
-rw-r--r-- 1 edrx edrx  20270 May 16 07:41 output.lua.html
-rw-r--r-- 1 edrx edrx   2715 Nov 19  2021 parse.lua
-rw-r--r-- 1 edrx edrx   4763 May 16 07:41 parse.lua.html
-rw-r--r-- 1 edrx edrx  32808 Feb 20  2022 picture.lua
-rw-r--r-- 1 edrx edrx  48526 May 16 07:41 picture.lua.html
-rw-r--r-- 1 edrx edrx   2700 Oct  2  2023 preamble6.lua
-rw-r--r-- 1 edrx edrx   5019 May 16 07:41 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   9208 Nov 19  2021 rect.lua
-rw-r--r-- 1 edrx edrx  15152 May 16 07:41 rect.lua.html
-rw-r--r-- 1 edrx edrx   3084 Nov 19  2021 stacks.lua
-rw-r--r-- 1 edrx edrx   5247 May 16 07:41 stacks.lua.html
-rw-r--r-- 1 edrx edrx  19097 Nov 19  2021 tcgs.lua
-rw-r--r-- 1 edrx edrx  28501 May 16 07:41 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5313 Nov 19  2021 texfile.lua
-rw-r--r-- 1 edrx edrx   9652 May 16 07:41 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5719 Nov 19  2021 treesegs.lua
-rw-r--r-- 1 edrx edrx  10612 May 16 07:41 treesegs.lua.html
-rw-r--r-- 1 edrx edrx  12561 Nov 19  2021 treetex.lua
-rw-r--r-- 1 edrx edrx  19159 May 16 07:41 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5271 Nov 19  2021 underbrace.lua
-rw-r--r-- 1 edrx edrx   8932 May 16 07:41 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4956 Apr  6 13:54 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   7650 May 16 07:41 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46296 Nov 27  2021 zhas.lua
-rw-r--r-- 1 edrx edrx  70628 May 16 07:41 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9545 Nov 27  2021 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14932 May 16 07:41 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2782 Nov 19  2021 zquotients.lua
-rw-r--r-- 1 edrx edrx   4058 May 16 07:41 zquotients.lua.html