drwxr-xr-x 3 edrx edrx   4096 Nov  6 17:41 ./
drwxr-xr-x 3 edrx edrx  36864 Nov  6 17:42 ../
-rw-r--r-- 1 edrx edrx   2980 May 20 16:53 abbrevs.lua
-rw-r--r-- 1 edrx edrx   4239 Nov  6 17:41 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx   1981 Jul 13 03:16 bbox.lua
-rw-r--r-- 1 edrx edrx   3292 Nov  6 17:41 bbox.lua.html
-rw-r--r-- 1 edrx edrx    394 Aug  7  2015 binloader.lua
-rw-r--r-- 1 edrx edrx   1176 Nov  6 17:41 binloader.lua.html
-rwxr-xr-x 1 edrx edrx   7077 Aug  4 22:22 dednat6.lua*
-rw-r--r-- 1 edrx edrx  16848 Nov  6 17:41 dednat6.lua.html
-rw-r--r-- 1 edrx edrx   8572 Oct  8 23:02 diagforth.lua
-rw-r--r-- 1 edrx edrx  15591 Nov  6 17:41 diagforth.lua.html
-rw-r--r-- 1 edrx edrx   5932 Aug 16  2015 diagmiddle.lua
-rw-r--r-- 1 edrx edrx   9061 Nov  6 17:41 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3133 Aug 22  2015 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5378 Nov  6 17:41 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   5676 Sep  1  2015 diagtex.lua
-rw-r--r-- 1 edrx edrx  11126 Nov  6 17:41 diagtex.lua.html
-rw-r--r-- 1 edrx edrx  74710 Aug  4 22:12 edrxlib.lua
-rw-r--r-- 1 edrx edrx 127017 Nov  6 17:41 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx   6387 Aug 28  2015 eoo.lua
-rw-r--r-- 1 edrx edrx   9748 Nov  6 17:41 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1129 Aug  7  2015 errors.lua
-rw-r--r-- 1 edrx edrx   1930 Nov  6 17:41 errors.lua.html
-rw-r--r-- 1 edrx edrx   3667 Aug 30  2015 heads6.lua
-rw-r--r-- 1 edrx edrx   9720 Nov  6 17:41 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Nov  6 17:41 lua-repl/
-rw-r--r-- 1 edrx edrx   1759 Jul 13 03:09 lualoader.lua
-rw-r--r-- 1 edrx edrx   3246 Nov  6 17:41 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  15539 Sep 28  2015 luarects.lua
-rw-r--r-- 1 edrx edrx  22098 Nov  6 17:41 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1039 Aug  4 22:45 luarepl.lua
-rw-r--r-- 1 edrx edrx   2977 Nov  6 17:41 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   2086 Aug 22  2015 options6.lua
-rw-r--r-- 1 edrx edrx   4112 Nov  6 17:41 options6.lua.html
-rw-r--r-- 1 edrx edrx   2783 Sep  3  2016 output.lua
-rw-r--r-- 1 edrx edrx   5712 Nov  6 17:41 output.lua.html
-rw-r--r-- 1 edrx edrx   1767 Aug 28  2015 parse.lua
-rw-r--r-- 1 edrx edrx   3181 Nov  6 17:41 parse.lua.html
-rw-r--r-- 1 edrx edrx  22298 Aug 29 18:00 picture.lua
-rw-r--r-- 1 edrx edrx  31663 Nov  6 17:41 picture.lua.html
-rw-r--r-- 1 edrx edrx   2422 Sep  6  2015 preamble6.lua
-rw-r--r-- 1 edrx edrx   4690 Nov  6 17:41 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   6505 Aug 26  2015 rect.lua
-rw-r--r-- 1 edrx edrx  10896 Nov  6 17:41 rect.lua.html
-rw-r--r-- 1 edrx edrx   3150 Aug 28  2015 stacks.lua
-rw-r--r-- 1 edrx edrx   5411 Nov  6 17:41 stacks.lua.html
-rw-r--r-- 1 edrx edrx   4433 Apr 24  2016 texfile.lua
-rw-r--r-- 1 edrx edrx   7027 Nov  6 17:41 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5380 Aug 23  2015 treesegs.lua
-rw-r--r-- 1 edrx edrx   8328 Nov  6 17:41 treesegs.lua.html
-rw-r--r-- 1 edrx edrx   3118 Sep  6  2015 treetex.lua
-rw-r--r-- 1 edrx edrx   5368 Nov  6 17:41 treetex.lua.html
-rw-r--r-- 1 edrx edrx   4944 Sep 23  2015 underbrace.lua
-rw-r--r-- 1 edrx edrx   8544 Nov  6 17:41 underbrace.lua.html
-rw-r--r-- 1 edrx edrx  42715 May 14 11:55 zhas.lua
-rw-r--r-- 1 edrx edrx  64068 Nov  6 17:41 zhas.lua.html
-rw-r--r-- 1 edrx edrx   6626 Sep 16  2015 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  10213 Nov  6 17:41 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2555 Oct  3  2015 zquotients.lua
-rw-r--r-- 1 edrx edrx   3470 Nov  6 17:41 zquotients.lua.html