drwxr-xr-x 3 edrx edrx   4096 Jun 29 04:30 ./
drwxr-xr-x 4 edrx edrx   4096 Jun 29 04:30 ../
-rw-r--r-- 1 edrx edrx   3849 Feb 21 22:17 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5516 Jun 29 04:30 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx    418 Feb 21 22:17 binloader.lua
-rw-r--r-- 1 edrx edrx   1225 Jun 29 04:30 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10775 Feb 21 22:17 block.lua
-rw-r--r-- 1 edrx edrx  15052 Jun 29 04:30 block.lua.html
-rwxr-xr-x 1 edrx edrx   7420 Feb 21 22:17 dednat6.lua*
-rw-r--r-- 1 edrx edrx  17929 Jun 29 04:30 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  10349 Feb 21 22:17 diagforth.lua
-rw-r--r-- 1 edrx edrx  18319 Jun 29 04:30 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10251 Feb 21 22:17 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  15700 Jun 29 04:30 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 21 22:17 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5341 Jun 29 04:30 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9196 Mar 17 20:26 diagtex.lua
-rw-r--r-- 1 edrx edrx  15414 Jun 29 04:30 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5673 Mar 17 20:26 diagtikz.lua
-rw-r--r-- 1 edrx edrx  10715 Jun 29 04:30 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx  91303 Feb 21 22:17 edrxlib.lua
-rw-r--r-- 1 edrx edrx 154508 Jun 29 04:30 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12201 Feb 21 22:17 eoo.lua
-rw-r--r-- 1 edrx edrx  18580 Jun 29 04:30 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1088 Feb 21 22:17 errors.lua
-rw-r--r-- 1 edrx edrx   1844 Jun 29 04:30 errors.lua.html
-rw-r--r-- 1 edrx edrx   3752 Feb 21 22:17 heads6.lua
-rw-r--r-- 1 edrx edrx   9548 Jun 29 04:30 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Jun 29 04:29 lua-repl/
-rw-r--r-- 1 edrx edrx   1911 Feb 21 22:17 lualoader.lua
-rw-r--r-- 1 edrx edrx   3556 Jun 29 04:30 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16505 Feb 21 22:17 luarects.lua
-rw-r--r-- 1 edrx edrx  23129 Jun 29 04:30 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1315 Feb 21 22:17 luarepl.lua
-rw-r--r-- 1 edrx edrx   3515 Jun 29 04:30 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   7109 Jun  6 01:18 minimalcore.lua
-rw-r--r-- 1 edrx edrx   8499 Jun 29 04:30 minimalcore.lua.html
-rw-r--r-- 1 edrx edrx   2842 Feb 21 22:17 options6.lua
-rw-r--r-- 1 edrx edrx   6146 Jun 29 04:30 options6.lua.html
-rw-r--r-- 1 edrx edrx   6868 Feb 21 22:17 output.lua
-rw-r--r-- 1 edrx edrx  11712 Jun 29 04:30 output.lua.html
-rw-r--r-- 1 edrx edrx   1803 Feb 21 22:17 parse.lua
-rw-r--r-- 1 edrx edrx   3368 Jun 29 04:30 parse.lua.html
-rw-r--r-- 1 edrx edrx  32538 Feb 21 22:17 picture.lua
-rw-r--r-- 1 edrx edrx  46671 Jun 29 04:30 picture.lua.html
-rw-r--r-- 1 edrx edrx   2571 Feb 21 22:17 preamble6.lua
-rw-r--r-- 1 edrx edrx   4932 Jun 29 04:30 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   6980 Feb 21 22:17 rect.lua
-rw-r--r-- 1 edrx edrx  11763 Jun 29 04:30 rect.lua.html
-rw-r--r-- 1 edrx edrx   3078 Feb 21 22:17 stacks.lua
-rw-r--r-- 1 edrx edrx   4973 Jun 29 04:30 stacks.lua.html
-rw-r--r-- 1 edrx edrx  17981 Feb 21 22:17 tcgs.lua
-rw-r--r-- 1 edrx edrx  26332 Jun 29 04:30 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5301 Feb 21 22:17 texfile.lua
-rw-r--r-- 1 edrx edrx   9196 Jun 29 04:30 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5120 Feb 21 22:17 treesegs.lua
-rw-r--r-- 1 edrx edrx   9234 Jun 29 04:30 treesegs.lua.html
-rw-r--r-- 1 edrx edrx   4907 Feb 21 22:17 treetex.lua
-rw-r--r-- 1 edrx edrx   8478 Jun 29 04:30 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5253 Feb 21 22:17 underbrace.lua
-rw-r--r-- 1 edrx edrx   8532 Jun 29 04:30 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4668 Feb 21 22:17 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   6873 Jun 29 04:30 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46508 Feb 21 22:17 zhas.lua
-rw-r--r-- 1 edrx edrx  71480 Jun 29 04:30 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9566 Feb 21 22:17 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14854 Jun 29 04:30 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2779 Feb 21 22:17 zquotients.lua
-rw-r--r-- 1 edrx edrx   3843 Jun 29 04:30 zquotients.lua.html