drwxr-xr-x 3 edrx edrx   4096 Jun 24 01:55 ./
drwxr-xr-x 3 edrx edrx  57344 Jun 24 01:56 ../
-rw-r--r-- 1 edrx edrx   3843 May  1 23:18 abbrevs.lua
-rw-r--r-- 1 edrx edrx   5504 Jun 24 01:55 abbrevs.lua.html
-rw-r--r-- 1 edrx edrx   1981 Jul 13  2017 bbox.lua
-rw-r--r-- 1 edrx edrx   3315 Jun 24 01:55 bbox.lua.html
-rw-r--r-- 1 edrx edrx    394 Aug  7  2015 binloader.lua
-rw-r--r-- 1 edrx edrx   1175 Jun 24 01:55 binloader.lua.html
-rw-r--r-- 1 edrx edrx   9635 Apr 29 18:55 block.lua
-rw-r--r-- 1 edrx edrx  13421 Jun 24 01:55 block.lua.html
-rwxr-xr-x 1 edrx edrx   7391 May 13 11:24 dednat6.lua*
-rw-r--r-- 1 edrx edrx  17986 Jun 24 01:55 dednat6.lua.html
-rw-r--r-- 1 edrx edrx  10237 Jul 16  2018 diagforth.lua
-rw-r--r-- 1 edrx edrx  17987 Jun 24 01:55 diagforth.lua.html
-rw-r--r-- 1 edrx edrx   5932 Aug 16  2015 diagmiddle.lua
-rw-r--r-- 1 edrx edrx   9146 Jun 24 01:55 diagmiddle.lua.html
-rw-r--r-- 1 edrx edrx   3133 Aug 22  2015 diagstacks.lua
-rw-r--r-- 1 edrx edrx   5433 Jun 24 01:55 diagstacks.lua.html
-rw-r--r-- 1 edrx edrx   6368 Dec 23 21:50 diagtex.lua
-rw-r--r-- 1 edrx edrx  12167 Jun 24 01:55 diagtex.lua.html
-rw-r--r-- 1 edrx edrx  91122 Apr 28 18:37 edrxlib.lua
-rw-r--r-- 1 edrx edrx 152637 Jun 24 01:55 edrxlib.lua.html
-rw-r--r-- 1 edrx edrx  12186 Feb 22 04:21 eoo.lua
-rw-r--r-- 1 edrx edrx  18669 Jun 24 01:55 eoo.lua.html
-rw-r--r-- 1 edrx edrx   1129 Aug  8  2015 errors.lua
-rw-r--r-- 1 edrx edrx   1935 Jun 24 01:55 errors.lua.html
-rw-r--r-- 1 edrx edrx   3699 May  1 23:21 heads6.lua
-rw-r--r-- 1 edrx edrx   9501 Jun 24 01:55 heads6.lua.html
drwxr-xr-x 3 edrx edrx   4096 Jun 24 01:55 lua-repl/
-rw-r--r-- 1 edrx edrx   1759 Jul 13  2017 lualoader.lua
-rw-r--r-- 1 edrx edrx   3268 Jun 24 01:55 lualoader.lua.html
-rw-r--r-- 1 edrx edrx  15539 Sep 28  2015 luarects.lua
-rw-r--r-- 1 edrx edrx  22330 Jun 24 01:55 luarects.lua.html
-rw-r--r-- 1 edrx edrx   1309 Oct 15  2018 luarepl.lua
-rw-r--r-- 1 edrx edrx   3501 Jun 24 01:55 luarepl.lua.html
-rw-r--r-- 1 edrx edrx   2853 May 16 00:08 options6.lua
-rw-r--r-- 1 edrx edrx   6235 Jun 24 01:55 options6.lua.html
-rw-r--r-- 1 edrx edrx   5766 May  3 17:20 output.lua
-rw-r--r-- 1 edrx edrx  10479 Jun 24 01:55 output.lua.html
-rw-r--r-- 1 edrx edrx   1826 Apr 29 21:49 parse.lua
-rw-r--r-- 1 edrx edrx   3576 Jun 24 01:55 parse.lua.html
-rw-r--r-- 1 edrx edrx  29580 Apr 29 17:24 picture.lua
-rw-r--r-- 1 edrx edrx  42253 Jun 24 01:55 picture.lua.html
-rw-r--r-- 1 edrx edrx   2542 Dec 19  2018 preamble6.lua
-rw-r--r-- 1 edrx edrx   4885 Jun 24 01:55 preamble6.lua.html
-rw-r--r-- 1 edrx edrx   7033 Jan 15 20:29 rect.lua
-rw-r--r-- 1 edrx edrx  12255 Jun 24 01:55 rect.lua.html
-rw-r--r-- 1 edrx edrx   3150 Aug 28  2015 stacks.lua
-rw-r--r-- 1 edrx edrx   5462 Jun 24 01:55 stacks.lua.html
-rw-r--r-- 1 edrx edrx  17760 May  1 16:32 tcgs.lua
-rw-r--r-- 1 edrx edrx  25922 Jun 24 01:55 tcgs.lua.html
-rw-r--r-- 1 edrx edrx   5235 Jan  3 23:06 texfile.lua
-rw-r--r-- 1 edrx edrx   9112 Jun 24 01:55 texfile.lua.html
-rw-r--r-- 1 edrx edrx   5059 Apr  3 19:08 treesegs.lua
-rw-r--r-- 1 edrx edrx   9247 Jun 24 01:55 treesegs.lua.html
-rw-r--r-- 1 edrx edrx   4920 Apr  4 00:00 treetex.lua
-rw-r--r-- 1 edrx edrx   8573 Jun 24 01:55 treetex.lua.html
-rw-r--r-- 1 edrx edrx   4944 Sep 23  2015 underbrace.lua
-rw-r--r-- 1 edrx edrx   8651 Jun 24 01:55 underbrace.lua.html
-rw-r--r-- 1 edrx edrx   4503 May 13 11:28 underbrace2d.lua
-rw-r--r-- 1 edrx edrx   6509 Jun 24 01:55 underbrace2d.lua.html
-rw-r--r-- 1 edrx edrx  45468 Apr 29 04:42 zhas.lua
-rw-r--r-- 1 edrx edrx  70847 Jun 24 01:55 zhas.lua.html
-rw-r--r-- 1 edrx edrx   9511 Apr 29 01:54 zhaspecs.lua
-rw-r--r-- 1 edrx edrx  15013 Jun 24 01:55 zhaspecs.lua.html
-rw-r--r-- 1 edrx edrx   2600 Nov 14  2018 zquotients.lua
-rw-r--r-- 1 edrx edrx   3517 Jun 24 01:55 zquotients.lua.html