drwxr-xr-x 3 edrx edrx   4096 May 17 02:55 ./
drwxr-xr-x 3 edrx edrx  69632 May 17 02:56 ../
-rw-r--r-- 1 edrx edrx   3849 Feb 21 22:17 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5514 May 17 02:55 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx   1981 Feb 21 22:17 bbox.lua
-rw-r--r-- 1 edrx edrx   3315 May 17 02:55 bbox.lua.html
-rw-r--r-- 1 edrx edrx    418 Feb 21 22:17 binloader.lua
-rw-r--r-- 1 edrx edrx   1223 May 17 02:55 binloader.lua.html
-rw-r--r-- 1 edrx edrx  10775 Feb 21 22:17 block.lua
-rw-r--r-- 1 edrx edrx  15050 May 17 02:55 block.lua.html
-rwxr-xr-x 1 edrx edrx   7420 Feb 21 22:17 dednat6.lua*
-rw-r--r-- 1 edrx edrx  17927 May 17 02:55 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  10516 Apr  2 23:48 diagforth.lua
-rw-r--r-- 1 edrx edrx  18484 May 17 02:55 diagforth.lua.html
-rw-r--r-- 1 edrx edrx  10251 Feb 21 22:17 diagmiddle.lua
-rw-r--r-- 1 edrx edrx  15698 May 17 02:55 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3107 Feb 21 22:17 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5339 May 17 02:55 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   9177 Mar 17 20:26 diagtex.lua
-rw-r--r-- 1 edrx edrx  15258 May 17 02:55 diagtex.lua.html
-rw-r--r-- 1 edrx edrx   5673 Mar 17 20:26 diagtikz.lua
-rw-r--r-- 1 edrx edrx  10713 May 17 02:55 diagtikz.lua.html
-rw-r--r-- 1 edrx edrx  91303 Feb 21 22:17 edrxlib.lua
-rw-r--r-- 1 edrx edrx 154506 May 17 02:55 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12201 Feb 21 22:17 eoo.lua
-rw-r--r-- 1 edrx edrx  18578 May 17 02:55 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1088 Feb 21 22:17 errors.lua
-rw-r--r-- 1 edrx edrx   1842 May 17 02:55 errors.lua.html
-rw-r--r-- 1 edrx edrx   3752 Feb 21 22:17 heads6.lua
-rw-r--r-- 1 edrx edrx   9546 May 17 02:55 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 May 17 02:55 lua-repl/
-rw-r--r-- 1 edrx edrx   1911 Feb 21 22:17 lualoader.lua
-rw-r--r-- 1 edrx edrx   3554 May 17 02:55 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  16505 Feb 21 22:17 luarects.lua
-rw-r--r-- 1 edrx edrx  23127 May 17 02:55 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1315 Feb 21 22:17 luarepl.lua
-rw-r--r-- 1 edrx edrx   3513 May 17 02:55 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   2842 Feb 21 22:17 options6.lua
-rw-r--r-- 1 edrx edrx   6144 May 17 02:55 options6.lua.html
-rw-r--r-- 1 edrx edrx   6868 Feb 21 22:17 output.lua
-rw-r--r-- 1 edrx edrx  11710 May 17 02:55 output.lua.html
-rw-r--r-- 1 edrx edrx   1803 Feb 21 22:17 parse.lua
-rw-r--r-- 1 edrx edrx   3366 May 17 02:55 parse.lua.html
-rw-r--r-- 1 edrx edrx  32538 Feb 21 22:17 picture.lua
-rw-r--r-- 1 edrx edrx  46669 May 17 02:55 picture.lua.html
-rw-r--r-- 1 edrx edrx   2571 Feb 21 22:17 preamble6.lua
-rw-r--r-- 1 edrx edrx   4930 May 17 02:55 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   6980 Feb 21 22:17 rect.lua
-rw-r--r-- 1 edrx edrx  11761 May 17 02:55 rect.lua.html
-rw-r--r-- 1 edrx edrx   3078 Feb 21 22:17 stacks.lua
-rw-r--r-- 1 edrx edrx   4971 May 17 02:55 stacks.lua.html
-rw-r--r-- 1 edrx edrx  17981 Feb 21 22:17 tcgs.lua
-rw-r--r-- 1 edrx edrx  26330 May 17 02:55 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5301 Feb 21 22:17 texfile.lua
-rw-r--r-- 1 edrx edrx   9194 May 17 02:55 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5120 Feb 21 22:17 treesegs.lua
-rw-r--r-- 1 edrx edrx   9232 May 17 02:55 treesegs.lua.html
-rw-r--r-- 1 edrx edrx   4907 Feb 21 22:17 treetex.lua
-rw-r--r-- 1 edrx edrx   8476 May 17 02:55 treetex.lua.html
-rw-r--r-- 1 edrx edrx   5253 Feb 21 22:17 underbrace.lua
-rw-r--r-- 1 edrx edrx   8530 May 17 02:55 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4668 Feb 21 22:17 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   6871 May 17 02:55 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  46508 Feb 21 22:17 zhas.lua
-rw-r--r-- 1 edrx edrx  71478 May 17 02:55 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9566 Feb 21 22:17 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  14852 May 17 02:55 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2779 Feb 21 22:17 zquotients.lua
-rw-r--r-- 1 edrx edrx   3841 May 17 02:55 zquotients.lua.html