drwxr-xr-x 3 edrx edrx 4096 Mar 23 02:55 ./ drwxr-xr-x 4 edrx edrx 4096 Mar 23 02:55 ../ -rw-r--r-- 1 edrx edrx 3849 Feb 21 2020 abbrevs.lua -rw-r--r-- 1 edrx edrx 5413 Mar 23 02:55 abbrevs.lua.html -rw-r--r-- 1 edrx edrx 418 Feb 21 2020 binloader.lua -rw-r--r-- 1 edrx edrx 1213 Mar 23 02:55 binloader.lua.html -rw-r--r-- 1 edrx edrx 10835 Mar 20 19:04 block.lua -rw-r--r-- 1 edrx edrx 15116 Mar 23 02:55 block.lua.html -rwxr-xr-x 1 edrx edrx 7665 Dec 4 02:19 dednat6.lua* -rw-r--r-- 1 edrx edrx 18121 Mar 23 02:55 dednat6.lua.html -rw-r--r-- 1 edrx edrx 11702 Feb 26 19:39 diagforth.lua -rw-r--r-- 1 edrx edrx 20440 Mar 23 02:55 diagforth.lua.html -rw-r--r-- 1 edrx edrx 10251 Feb 21 2020 diagmiddle.lua -rw-r--r-- 1 edrx edrx 15624 Mar 23 02:55 diagmiddle.lua.html -rw-r--r-- 1 edrx edrx 3107 Feb 21 2020 diagstacks.lua -rw-r--r-- 1 edrx edrx 5345 Mar 23 02:55 diagstacks.lua.html -rw-r--r-- 1 edrx edrx 9177 Mar 17 2020 diagtex.lua -rw-r--r-- 1 edrx edrx 15191 Mar 23 02:55 diagtex.lua.html -rw-r--r-- 1 edrx edrx 5673 Mar 17 2020 diagtikz.lua -rw-r--r-- 1 edrx edrx 10733 Mar 23 02:55 diagtikz.lua.html -rw-r--r-- 1 edrx edrx 92889 Mar 8 02:24 edrxlib.lua -rw-r--r-- 1 edrx edrx 151879 Mar 23 02:55 edrxlib.lua.html -rw-r--r-- 1 edrx edrx 12201 Feb 21 2020 eoo.lua -rw-r--r-- 1 edrx edrx 17430 Mar 23 02:55 eoo.lua.html -rw-r--r-- 1 edrx edrx 1305 Jan 24 14:44 errors.lua -rw-r--r-- 1 edrx edrx 2178 Mar 23 02:55 errors.lua.html -rw-r--r-- 1 edrx edrx 4038 Mar 20 19:05 heads6.lua -rw-r--r-- 1 edrx edrx 10478 Mar 23 02:55 heads6.lua.html drwxr-xr-x 3 edrx edrx 4096 Mar 23 02:54 lua-repl/ -rw-r--r-- 1 edrx edrx 3427 Nov 6 02:53 lualoader.lua -rw-r--r-- 1 edrx edrx 6674 Mar 23 02:55 lualoader.lua.html -rw-r--r-- 1 edrx edrx 16485 Jun 5 2020 luarects.lua -rw-r--r-- 1 edrx edrx 22696 Mar 23 02:55 luarects.lua.html -rw-r--r-- 1 edrx edrx 1315 Feb 21 2020 luarepl.lua -rw-r--r-- 1 edrx edrx 3503 Mar 23 02:55 luarepl.lua.html -rw-r--r-- 1 edrx edrx 7109 Jun 6 2020 minimalcore.lua -rw-r--r-- 1 edrx edrx 8076 Mar 23 02:55 minimalcore.lua.html -rw-r--r-- 1 edrx edrx 2842 Feb 21 2020 options6.lua -rw-r--r-- 1 edrx edrx 5540 Mar 23 02:55 options6.lua.html -rw-r--r-- 1 edrx edrx 7042 Jun 5 2020 output.lua -rw-r--r-- 1 edrx edrx 11995 Mar 23 02:55 output.lua.html -rw-r--r-- 1 edrx edrx 2709 Jan 24 14:36 parse.lua -rw-r--r-- 1 edrx edrx 4537 Mar 23 02:55 parse.lua.html -rw-r--r-- 1 edrx edrx 32580 Mar 2 04:42 picture.lua -rw-r--r-- 1 edrx edrx 45936 Mar 23 02:55 picture.lua.html -rw-r--r-- 1 edrx edrx 2571 Feb 21 2020 preamble6.lua -rw-r--r-- 1 edrx edrx 4259 Mar 23 02:55 preamble6.lua.html -rw-r--r-- 1 edrx edrx 9184 Feb 20 17:15 rect.lua -rw-r--r-- 1 edrx edrx 14555 Mar 23 02:55 rect.lua.html -rw-r--r-- 1 edrx edrx 3078 Feb 21 2020 stacks.lua -rw-r--r-- 1 edrx edrx 4969 Mar 23 02:55 stacks.lua.html -rw-r--r-- 1 edrx edrx 17981 Feb 21 2020 tcgs.lua -rw-r--r-- 1 edrx edrx 25682 Mar 23 02:55 tcgs.lua.html -rw-r--r-- 1 edrx edrx 5301 Feb 21 2020 texfile.lua -rw-r--r-- 1 edrx edrx 9095 Mar 23 02:55 texfile.lua.html -rw-r--r-- 1 edrx edrx 5364 Sep 5 2020 treesegs.lua -rw-r--r-- 1 edrx edrx 9490 Mar 23 02:55 treesegs.lua.html -rw-r--r-- 1 edrx edrx 12543 Aug 24 2020 treetex.lua -rw-r--r-- 1 edrx edrx 18617 Mar 23 02:55 treetex.lua.html -rw-r--r-- 1 edrx edrx 5253 Feb 21 2020 underbrace.lua -rw-r--r-- 1 edrx edrx 8532 Mar 23 02:55 underbrace.lua.html -rw-r--r-- 1 edrx edrx 4805 Jan 24 15:59 underbrace2d.lua -rw-r--r-- 1 edrx edrx 6881 Mar 23 02:55 underbrace2d.lua.html -rw-r--r-- 1 edrx edrx 46508 Feb 21 2020 zhas.lua -rw-r--r-- 1 edrx edrx 69523 Mar 23 02:55 zhas.lua.html -rw-r--r-- 1 edrx edrx 9566 Feb 21 2020 zhaspecs.lua -rw-r--r-- 1 edrx edrx 14375 Mar 23 02:55 zhaspecs.lua.html -rw-r--r-- 1 edrx edrx 2779 Feb 21 2020 zquotients.lua -rw-r--r-- 1 edrx edrx 3831 Mar 23 02:55 zquotients.lua.html