drwxr-xr-x 3 edrx edrx 4096 Jun 6 02:01 ./ drwxr-xr-x 3 edrx edrx 40960 Jun 6 02:02 ../ -rw-r--r-- 1 edrx edrx 2980 May 20 2017 abbrevs.lua -rw-r--r-- 1 edrx edrx 4239 Jun 6 02:01 abbrevs.lua.html -rw-r--r-- 1 edrx edrx 1981 Jul 13 2017 bbox.lua -rw-r--r-- 1 edrx edrx 3292 Jun 6 02:01 bbox.lua.html -rw-r--r-- 1 edrx edrx 394 Aug 7 2015 binloader.lua -rw-r--r-- 1 edrx edrx 1176 Jun 6 02:01 binloader.lua.html -rw-r--r-- 1 edrx edrx 2877 May 9 04:06 block.lua -rw-r--r-- 1 edrx edrx 3779 Jun 6 02:01 block.lua.html -rwxr-xr-x 1 edrx edrx 7076 Dec 31 00:31 dednat6.lua* -rw-r--r-- 1 edrx edrx 16746 Jun 6 02:01 dednat6.lua.html -rw-r--r-- 1 edrx edrx 10208 Feb 4 14:17 diagforth.lua -rw-r--r-- 1 edrx edrx 17732 Jun 6 02:01 diagforth.lua.html -rw-r--r-- 1 edrx edrx 5932 Aug 16 2015 diagmiddle.lua -rw-r--r-- 1 edrx edrx 9061 Jun 6 02:01 diagmiddle.lua.html -rw-r--r-- 1 edrx edrx 3133 Aug 22 2015 diagstacks.lua -rw-r--r-- 1 edrx edrx 5378 Jun 6 02:01 diagstacks.lua.html -rw-r--r-- 1 edrx edrx 5895 Feb 4 14:16 diagtex.lua -rw-r--r-- 1 edrx edrx 11331 Jun 6 02:01 diagtex.lua.html -rw-r--r-- 1 edrx edrx 77980 May 27 22:17 edrxlib.lua -rw-r--r-- 1 edrx edrx 132818 Jun 6 02:01 edrxlib.lua.html -rw-r--r-- 1 edrx edrx 6387 Aug 28 2015 eoo.lua -rw-r--r-- 1 edrx edrx 9748 Jun 6 02:01 eoo.lua.html -rw-r--r-- 1 edrx edrx 1129 Aug 7 2015 errors.lua -rw-r--r-- 1 edrx edrx 1930 Jun 6 02:01 errors.lua.html -rw-r--r-- 1 edrx edrx 3667 Aug 30 2015 heads6.lua -rw-r--r-- 1 edrx edrx 9720 Jun 6 02:01 heads6.lua.html drwxr-xr-x 3 edrx edrx 4096 Jun 6 02:01 lua-repl/ -rw-r--r-- 1 edrx edrx 1759 Jul 13 2017 lualoader.lua -rw-r--r-- 1 edrx edrx 3246 Jun 6 02:01 lualoader.lua.html -rw-r--r-- 1 edrx edrx 15539 Sep 28 2015 luarects.lua -rw-r--r-- 1 edrx edrx 22098 Jun 6 02:01 luarects.lua.html -rw-r--r-- 1 edrx edrx 1255 Jan 31 20:47 luarepl.lua -rw-r--r-- 1 edrx edrx 3399 Jun 6 02:01 luarepl.lua.html -rw-r--r-- 1 edrx edrx 2086 Aug 22 2015 options6.lua -rw-r--r-- 1 edrx edrx 4112 Jun 6 02:01 options6.lua.html -rw-r--r-- 1 edrx edrx 2783 Sep 3 2016 output.lua -rw-r--r-- 1 edrx edrx 5712 Jun 6 02:01 output.lua.html -rw-r--r-- 1 edrx edrx 1767 Aug 28 2015 parse.lua -rw-r--r-- 1 edrx edrx 3181 Jun 6 02:01 parse.lua.html -rw-r--r-- 1 edrx edrx 23369 May 25 17:56 picture.lua -rw-r--r-- 1 edrx edrx 33043 Jun 6 02:01 picture.lua.html -rw-r--r-- 1 edrx edrx 2422 Sep 6 2015 preamble6.lua -rw-r--r-- 1 edrx edrx 4690 Jun 6 02:01 preamble6.lua.html -rw-r--r-- 1 edrx edrx 6505 Aug 26 2015 rect.lua -rw-r--r-- 1 edrx edrx 10896 Jun 6 02:01 rect.lua.html -rw-r--r-- 1 edrx edrx 3150 Aug 28 2015 stacks.lua -rw-r--r-- 1 edrx edrx 5411 Jun 6 02:01 stacks.lua.html -rw-r--r-- 1 edrx edrx 4894 Dec 30 23:11 texfile.lua -rw-r--r-- 1 edrx edrx 7926 Jun 6 02:01 texfile.lua.html -rw-r--r-- 1 edrx edrx 5380 Aug 23 2015 treesegs.lua -rw-r--r-- 1 edrx edrx 8328 Jun 6 02:01 treesegs.lua.html -rw-r--r-- 1 edrx edrx 3294 Dec 30 23:14 treetex.lua -rw-r--r-- 1 edrx edrx 5544 Jun 6 02:01 treetex.lua.html -rw-r--r-- 1 edrx edrx 4944 Sep 23 2015 underbrace.lua -rw-r--r-- 1 edrx edrx 8544 Jun 6 02:01 underbrace.lua.html -rw-r--r-- 1 edrx edrx 42715 May 14 2017 zhas.lua -rw-r--r-- 1 edrx edrx 64068 Jun 6 02:01 zhas.lua.html -rw-r--r-- 1 edrx edrx 6626 Sep 16 2015 zhaspecs.lua -rw-r--r-- 1 edrx edrx 10213 Jun 6 02:01 zhaspecs.lua.html -rw-r--r-- 1 edrx edrx 2555 Oct 3 2015 zquotients.lua -rw-r--r-- 1 edrx edrx 3470 Jun 6 02:01 zquotients.lua.html