drwxr-xr-x 3 edrx edrx 4096 Aug 2 21:23 ./ drwxr-xr-x 4 edrx edrx 4096 Aug 2 21:24 ../ -rw-r--r-- 1 edrx edrx 3834 Nov 19 2021 abbrevs.lua -rw-r--r-- 1 edrx edrx 5660 Aug 2 21:23 abbrevs.lua.html -rw-r--r-- 1 edrx edrx 415 Nov 19 2021 binloader.lua -rw-r--r-- 1 edrx edrx 1393 Aug 2 21:23 binloader.lua.html -rw-r--r-- 1 edrx edrx 10853 Nov 19 2021 block.lua -rw-r--r-- 1 edrx edrx 15904 Aug 2 21:23 block.lua.html -rwxr-xr-x 1 edrx edrx 7725 Nov 19 2021 dednat6.lua* -rw-r--r-- 1 edrx edrx 19970 Aug 2 21:23 dednat6.lua.html -rw-r--r-- 1 edrx edrx 11720 Nov 19 2021 diagforth.lua -rw-r--r-- 1 edrx edrx 21101 Aug 2 21:23 diagforth.lua.html -rw-r--r-- 1 edrx edrx 10269 Nov 19 2021 diagmiddle.lua -rw-r--r-- 1 edrx edrx 15986 Aug 2 21:23 diagmiddle.lua.html -rw-r--r-- 1 edrx edrx 3107 Feb 21 2020 diagstacks.lua -rw-r--r-- 1 edrx edrx 5572 Aug 2 21:23 diagstacks.lua.html -rw-r--r-- 1 edrx edrx 9169 Nov 19 2021 diagtex.lua -rw-r--r-- 1 edrx edrx 15678 Aug 2 21:23 diagtex.lua.html -rw-r--r-- 1 edrx edrx 5685 Nov 19 2021 diagtikz.lua -rw-r--r-- 1 edrx edrx 11273 Aug 2 21:23 diagtikz.lua.html -rw-r--r-- 1 edrx edrx 89349 Mar 26 16:32 edrxlib.lua -rw-r--r-- 1 edrx edrx 172874 Aug 2 21:23 edrxlib.lua.html -rw-r--r-- 1 edrx edrx 12207 Nov 19 2021 eoo.lua -rw-r--r-- 1 edrx edrx 18870 Aug 2 21:23 eoo.lua.html -rw-r--r-- 1 edrx edrx 1305 Jan 24 2021 errors.lua -rw-r--r-- 1 edrx edrx 2387 Aug 2 21:23 errors.lua.html -rw-r--r-- 1 edrx edrx 4032 Nov 19 2021 heads6.lua -rw-r--r-- 1 edrx edrx 11177 Aug 2 21:23 heads6.lua.html drwxr-xr-x 3 edrx edrx 4096 Aug 2 21:20 lua-repl/ -rw-r--r-- 1 edrx edrx 3440 Nov 19 2021 lualoader.lua -rw-r--r-- 1 edrx edrx 7030 Aug 2 21:23 lualoader.lua.html -rw-r--r-- 1 edrx edrx 16446 Nov 27 2021 luarects.lua -rw-r--r-- 1 edrx edrx 23140 Aug 2 21:23 luarects.lua.html -rw-r--r-- 1 edrx edrx 1578 Nov 19 2021 luarepl.lua -rw-r--r-- 1 edrx edrx 3563 Aug 2 21:23 luarepl.lua.html -rw-r--r-- 1 edrx edrx 7109 Jun 6 2020 minimalcore.lua -rw-r--r-- 1 edrx edrx 8285 Aug 2 21:23 minimalcore.lua.html -rw-r--r-- 1 edrx edrx 2848 Nov 19 2021 options6.lua -rw-r--r-- 1 edrx edrx 5973 Aug 2 21:23 options6.lua.html -rw-r--r-- 1 edrx edrx 11383 Nov 19 2021 output.lua -rw-r--r-- 1 edrx edrx 20272 Aug 2 21:23 output.lua.html -rw-r--r-- 1 edrx edrx 2715 Nov 19 2021 parse.lua -rw-r--r-- 1 edrx edrx 4765 Aug 2 21:23 parse.lua.html -rw-r--r-- 1 edrx edrx 32609 Nov 27 2021 picture.lua -rw-r--r-- 1 edrx edrx 47637 Aug 2 21:23 picture.lua.html -rw-r--r-- 1 edrx edrx 2577 Nov 19 2021 preamble6.lua -rw-r--r-- 1 edrx edrx 4898 Aug 2 21:23 preamble6.lua.html -rw-r--r-- 1 edrx edrx 9208 Nov 19 2021 rect.lua -rw-r--r-- 1 edrx edrx 15154 Aug 2 21:23 rect.lua.html -rw-r--r-- 1 edrx edrx 3084 Nov 19 2021 stacks.lua -rw-r--r-- 1 edrx edrx 5249 Aug 2 21:23 stacks.lua.html -rw-r--r-- 1 edrx edrx 19097 Nov 19 2021 tcgs.lua -rw-r--r-- 1 edrx edrx 28639 Aug 2 21:23 tcgs.lua.html -rw-r--r-- 1 edrx edrx 5313 Nov 19 2021 texfile.lua -rw-r--r-- 1 edrx edrx 9654 Aug 2 21:23 texfile.lua.html -rw-r--r-- 1 edrx edrx 5719 Nov 19 2021 treesegs.lua -rw-r--r-- 1 edrx edrx 10614 Aug 2 21:23 treesegs.lua.html -rw-r--r-- 1 edrx edrx 12561 Nov 19 2021 treetex.lua -rw-r--r-- 1 edrx edrx 19161 Aug 2 21:23 treetex.lua.html -rw-r--r-- 1 edrx edrx 5271 Nov 19 2021 underbrace.lua -rw-r--r-- 1 edrx edrx 8934 Aug 2 21:23 underbrace.lua.html -rw-r--r-- 1 edrx edrx 4811 Nov 19 2021 underbrace2d.lua -rw-r--r-- 1 edrx edrx 7382 Aug 2 21:23 underbrace2d.lua.html -rw-r--r-- 1 edrx edrx 46296 Nov 27 2021 zhas.lua -rw-r--r-- 1 edrx edrx 70762 Aug 2 21:23 zhas.lua.html -rw-r--r-- 1 edrx edrx 9545 Nov 27 2021 zhaspecs.lua -rw-r--r-- 1 edrx edrx 15069 Aug 2 21:23 zhaspecs.lua.html -rw-r--r-- 1 edrx edrx 2782 Nov 19 2021 zquotients.lua -rw-r--r-- 1 edrx edrx 4060 Aug 2 21:23 zquotients.lua.html