drwxr-xr-x   3 edrx edrx  4096 Aug 31 01:31 ./
drwxr-xr-x 173 edrx edrx 20480 Aug 31 01:32 ../
-rw-r--r--   1 edrx edrx  3033 Apr 14  2014 Makefile
-rw-r--r--   1 edrx edrx  6045 Aug 31 01:31 Makefile.html
-rw-r--r--   1 edrx edrx  8037 Apr 14  2014 README
-rw-r--r--   1 edrx edrx 15195 Aug 31 01:31 README.html
-rw-r--r--   1 edrx edrx  6268 Apr 14  2014 begriff.lua
-rw-r--r--   1 edrx edrx  9670 Aug 31 01:31 begriff.lua.html
-rw-r--r--   1 edrx edrx   394 Jun  1 11:45 binloader.lua
-rw-r--r--   1 edrx edrx  1155 Aug 31 01:31 binloader.lua.html
-rwxr-xr-x   1 edrx edrx  6388 Apr 14  2014 build.lua*
-rw-r--r--   1 edrx edrx 10217 Aug 31 01:31 build.lua.html
-rw-r--r--   1 edrx edrx  5937 Jul 11 00:52 common.lua
-rw-r--r--   1 edrx edrx 11662 Aug 31 01:31 common.lua.html
-rw-r--r--   1 edrx edrx 10886 Apr 14  2014 dednat-eev.el
-rw-r--r--   1 edrx edrx 17234 Aug 31 01:31 dednat-eev.el.html
-rwxr-xr-x   1 edrx edrx 57935 Apr 14  2014 dednat5.lua*
-rw-r--r--   1 edrx edrx 94935 Aug 31 01:31 dednat5.lua.html
-rw-r--r--   1 edrx edrx 81606 Apr 14  2014 dednat5.tgz
-rwxr-xr-x   1 edrx edrx  6107 Aug  6 00:37 dednat6.lua*
-rw-r--r--   1 edrx edrx 13841 Aug 31 01:31 dednat6.lua.html
-rw-r--r--   1 edrx edrx  2681 Apr 14  2014 diagbox.lua
-rw-r--r--   1 edrx edrx  4381 Aug 31 01:31 diagbox.lua.html
-rw-r--r--   1 edrx edrx  6989 Apr 14  2014 diagforth.lua
-rw-r--r--   1 edrx edrx 12224 Aug 31 01:31 diagforth.lua.html
-rw-r--r--   1 edrx edrx  4943 Apr 14  2014 diagmiddle.lua
-rw-r--r--   1 edrx edrx  6240 Aug 31 01:31 diagmiddle.lua.html
-rw-r--r--   1 edrx edrx  2949 Apr 14  2014 diagstacks.lua
-rw-r--r--   1 edrx edrx  5034 Aug 31 01:31 diagstacks.lua.html
-rw-r--r--   1 edrx edrx  5078 Apr 14  2014 diagtex.lua
-rw-r--r--   1 edrx edrx  9262 Aug 31 01:31 diagtex.lua.html
-rw-r--r--   1 edrx edrx  6180 Apr 14  2014 eoo.lua
-rw-r--r--   1 edrx edrx  8220 Aug 31 01:31 eoo.lua.html
-rw-r--r--   1 edrx edrx  1129 Apr 14  2014 errors.lua
-rw-r--r--   1 edrx edrx  1909 Aug 31 01:31 errors.lua.html
-rw-r--r--   1 edrx edrx  5228 Apr 14  2014 gab-lpeg.lua
-rw-r--r--   1 edrx edrx  6433 Aug 31 01:31 gab-lpeg.lua.html
-rw-r--r--   1 edrx edrx  6277 Apr 14  2014 gab-oldparser.lua
-rw-r--r--   1 edrx edrx  7862 Aug 31 01:31 gab-oldparser.lua.html
-rw-r--r--   1 edrx edrx 15261 Apr 14  2014 gab-tests.lua
-rw-r--r--   1 edrx edrx 27473 Aug 31 01:31 gab-tests.lua.html
-rw-r--r--   1 edrx edrx 33758 Apr 14  2014 gab.lua
-rw-r--r--   1 edrx edrx 44511 Aug 31 01:31 gab.lua.html
-rw-r--r--   1 edrx edrx  9535 Apr 14  2014 gabriela-app.lua
-rw-r--r--   1 edrx edrx 14650 Aug 31 01:31 gabriela-app.lua.html
-rw-r--r--   1 edrx edrx 22582 Apr 14  2014 gabriela.lua
-rw-r--r--   1 edrx edrx 32109 Aug 31 01:31 gabriela.lua.html
-rw-r--r--   1 edrx edrx  3008 Jun 22 17:03 heads6.lua
-rw-r--r--   1 edrx edrx  7504 Aug 31 01:31 heads6.lua.html
-rw-r--r--   1 edrx edrx  1397 Jul 11 00:52 lualoader.lua
-rw-r--r--   1 edrx edrx  2614 Aug 31 01:31 lualoader.lua.html
-rw-r--r--   1 edrx edrx 45088 Aug 17 17:17 newrect.lua
-rw-r--r--   1 edrx edrx 64672 Aug 31 01:31 newrect.lua.html
-rw-r--r--   1 edrx edrx  2069 May 18 13:50 options.lua
-rw-r--r--   1 edrx edrx  4011 Aug 31 01:31 options.lua.html
-rw-r--r--   1 edrx edrx  2074 Aug  5 23:45 options6.lua
-rw-r--r--   1 edrx edrx  4019 Aug 31 01:31 options6.lua.html
-rw-r--r--   1 edrx edrx  1599 Jun 21 23:57 parse.lua
-rw-r--r--   1 edrx edrx  2541 Aug 31 01:31 parse.lua.html
-rw-r--r--   1 edrx edrx  5609 Jul 12 12:57 picture.lua
-rw-r--r--   1 edrx edrx  7388 Aug 31 01:31 picture.lua.html
-rw-r--r--   1 edrx edrx  1726 May 18 13:50 preamble.lua
-rw-r--r--   1 edrx edrx  3258 Aug 31 01:31 preamble.lua.html
-rw-r--r--   1 edrx edrx  1249 Jun  1 11:45 preamble6.lua
-rw-r--r--   1 edrx edrx  2231 Aug 31 01:31 preamble6.lua.html
-rw-r--r--   1 edrx edrx  3387 Apr 14  2014 prefixes.lua
-rw-r--r--   1 edrx edrx  5127 Aug 31 01:31 prefixes.lua.html
-rw-r--r--   1 edrx edrx  4782 Jun  1 11:45 process.lua
-rw-r--r--   1 edrx edrx  9181 Aug 31 01:31 process.lua.html
-rw-r--r--   1 edrx edrx  4789 Aug  5 13:00 rect.lua
-rw-r--r--   1 edrx edrx  5799 Aug 31 01:31 rect.lua.html
-rw-r--r--   1 edrx edrx  3368 Apr 14  2014 repl-old.lua
-rw-r--r--   1 edrx edrx  5147 Aug 31 01:31 repl-old.lua.html
-rw-r--r--   1 edrx edrx  8693 Apr 14  2014 repl.lua
-rw-r--r--   1 edrx edrx 10613 Aug 31 01:31 repl.lua.html
-rw-r--r--   1 edrx edrx  9808 Aug  6 15:54 stacks.lua
-rw-r--r--   1 edrx edrx 15764 Aug 31 01:31 stacks.lua.html
drwxr-xr-x   2 edrx edrx  4096 Aug 31 01:31 tests/
-rw-r--r--   1 edrx edrx  3804 Jun  1 11:45 texfile.lua
-rw-r--r--   1 edrx edrx  6047 Aug 31 01:31 texfile.lua.html
-rw-r--r--   1 edrx edrx  2331 Apr 14  2014 tos.lua
-rw-r--r--   1 edrx edrx  3837 Aug 31 01:31 tos.lua.html
-rw-r--r--   1 edrx edrx  1814 May 18 13:50 treehead.lua
-rw-r--r--   1 edrx edrx  3466 Aug 31 01:31 treehead.lua.html
-rw-r--r--   1 edrx edrx  3963 Apr 14  2014 treesegs.lua
-rw-r--r--   1 edrx edrx  6009 Aug 31 01:31 treesegs.lua.html
-rw-r--r--   1 edrx edrx  2409 Apr 14  2014 treetex.lua
-rw-r--r--   1 edrx edrx  3664 Aug 31 01:31 treetex.lua.html
-rw-r--r--   1 edrx edrx   856 Jun 17 21:06 wrap.lua
-rw-r--r--   1 edrx edrx  1814 Aug 31 01:31 wrap.lua.html
-rw-r--r--   1 edrx edrx  6399 Apr 14  2014 zdags.lua
-rw-r--r--   1 edrx edrx  9595 Aug 31 01:31 zdags.lua.html
-rw-r--r--   1 edrx edrx 15041 Jun 25 07:11 zha.lua
-rw-r--r--   1 edrx edrx 18958 Aug 31 01:31 zha.lua.html
-rw-r--r--   1 edrx edrx 16390 Jul 11 00:52 zrect.lua
-rw-r--r--   1 edrx edrx 21045 Aug 31 01:31 zrect.lua.html