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