drwxr-xr-x 3 edrx edrx 4096 Jan 18 20:31 ./ drwxr-xr-x 4 edrx edrx 4096 Jan 18 20:31 ../ -rw-r--r-- 1 edrx edrx 3849 Feb 21 2020 abbrevs.lua -rw-r--r-- 1 edrx edrx 5413 Jan 18 20:31 abbrevs.lua.html -rw-r--r-- 1 edrx edrx 418 Feb 21 2020 binloader.lua -rw-r--r-- 1 edrx edrx 1213 Jan 18 20:31 binloader.lua.html -rw-r--r-- 1 edrx edrx 10775 Feb 21 2020 block.lua -rw-r--r-- 1 edrx edrx 14358 Jan 18 20:31 block.lua.html -rwxr-xr-x 1 edrx edrx 7584 Nov 6 02:42 dednat6.lua* -rw-r--r-- 1 edrx edrx 16750 Jan 18 20:31 dednat6.lua.html -rw-r--r-- 1 edrx edrx 10612 Jul 30 01:51 diagforth.lua -rw-r--r-- 1 edrx edrx 16188 Jan 18 20:31 diagforth.lua.html -rw-r--r-- 1 edrx edrx 10251 Feb 21 2020 diagmiddle.lua -rw-r--r-- 1 edrx edrx 13838 Jan 18 20:31 diagmiddle.lua.html -rw-r--r-- 1 edrx edrx 3107 Feb 21 2020 diagstacks.lua -rw-r--r-- 1 edrx edrx 4675 Jan 18 20:31 diagstacks.lua.html -rw-r--r-- 1 edrx edrx 9177 Mar 17 2020 diagtex.lua -rw-r--r-- 1 edrx edrx 13602 Jan 18 20:31 diagtex.lua.html -rw-r--r-- 1 edrx edrx 5673 Mar 17 2020 diagtikz.lua -rw-r--r-- 1 edrx edrx 9388 Jan 18 20:31 diagtikz.lua.html -rw-r--r-- 1 edrx edrx 91017 Nov 5 01:37 edrxlib.lua -rw-r--r-- 1 edrx edrx 127084 Jan 18 20:31 edrxlib.lua.html -rw-r--r-- 1 edrx edrx 12201 Feb 21 2020 eoo.lua -rw-r--r-- 1 edrx edrx 15632 Jan 18 20:31 eoo.lua.html -rw-r--r-- 1 edrx edrx 1088 Feb 21 2020 errors.lua -rw-r--r-- 1 edrx edrx 1832 Jan 18 20:31 errors.lua.html -rw-r--r-- 1 edrx edrx 4040 Aug 24 03:18 heads6.lua -rw-r--r-- 1 edrx edrx 9081 Jan 18 20:31 heads6.lua.html drwxr-xr-x 3 edrx edrx 4096 Jan 18 20:30 lua-repl/ -rw-r--r-- 1 edrx edrx 3427 Nov 6 02:53 lualoader.lua -rw-r--r-- 1 edrx edrx 5936 Jan 18 20:31 lualoader.lua.html -rw-r--r-- 1 edrx edrx 16485 Jun 5 2020 luarects.lua -rw-r--r-- 1 edrx edrx 21417 Jan 18 20:31 luarects.lua.html -rw-r--r-- 1 edrx edrx 1315 Feb 21 2020 luarepl.lua -rw-r--r-- 1 edrx edrx 3503 Jan 18 20:31 luarepl.lua.html -rw-r--r-- 1 edrx edrx 7109 Jun 6 2020 minimalcore.lua -rw-r--r-- 1 edrx edrx 8076 Jan 18 20:31 minimalcore.lua.html -rw-r--r-- 1 edrx edrx 2842 Feb 21 2020 options6.lua -rw-r--r-- 1 edrx edrx 4830 Jan 18 20:31 options6.lua.html -rw-r--r-- 1 edrx edrx 7042 Jun 5 2020 output.lua -rw-r--r-- 1 edrx edrx 10661 Jan 18 20:31 output.lua.html -rw-r--r-- 1 edrx edrx 1803 Feb 21 2020 parse.lua -rw-r--r-- 1 edrx edrx 3094 Jan 18 20:31 parse.lua.html -rw-r--r-- 1 edrx edrx 32538 Feb 21 2020 picture.lua -rw-r--r-- 1 edrx edrx 42681 Jan 18 20:31 picture.lua.html -rw-r--r-- 1 edrx edrx 2571 Feb 21 2020 preamble6.lua -rw-r--r-- 1 edrx edrx 3913 Jan 18 20:31 preamble6.lua.html -rw-r--r-- 1 edrx edrx 8505 Aug 24 04:40 rect.lua -rw-r--r-- 1 edrx edrx 12633 Jan 18 20:31 rect.lua.html -rw-r--r-- 1 edrx edrx 3078 Feb 21 2020 stacks.lua -rw-r--r-- 1 edrx edrx 4627 Jan 18 20:31 stacks.lua.html -rw-r--r-- 1 edrx edrx 17981 Feb 21 2020 tcgs.lua -rw-r--r-- 1 edrx edrx 23948 Jan 18 20:31 tcgs.lua.html -rw-r--r-- 1 edrx edrx 5301 Feb 21 2020 texfile.lua -rw-r--r-- 1 edrx edrx 8216 Jan 18 20:31 texfile.lua.html -rw-r--r-- 1 edrx edrx 5364 Sep 5 02:40 treesegs.lua -rw-r--r-- 1 edrx edrx 8428 Jan 18 20:31 treesegs.lua.html -rw-r--r-- 1 edrx edrx 12543 Aug 24 04:11 treetex.lua -rw-r--r-- 1 edrx edrx 16809 Jan 18 20:31 treetex.lua.html -rw-r--r-- 1 edrx edrx 5253 Feb 21 2020 underbrace.lua -rw-r--r-- 1 edrx edrx 8025 Jan 18 20:31 underbrace.lua.html -rw-r--r-- 1 edrx edrx 4668 Feb 21 2020 underbrace2d.lua -rw-r--r-- 1 edrx edrx 6245 Jan 18 20:31 underbrace2d.lua.html -rw-r--r-- 1 edrx edrx 46508 Feb 21 2020 zhas.lua -rw-r--r-- 1 edrx edrx 63126 Jan 18 20:31 zhas.lua.html -rw-r--r-- 1 edrx edrx 9566 Feb 21 2020 zhaspecs.lua -rw-r--r-- 1 edrx edrx 13281 Jan 18 20:31 zhaspecs.lua.html -rw-r--r-- 1 edrx edrx 2779 Feb 21 2020 zquotients.lua -rw-r--r-- 1 edrx edrx 3831 Jan 18 20:31 zquotients.lua.html