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