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