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