drwxr-xr-x   3 edrx edrx  4096 Feb 23 18:20 ./
drwxr-xr-x 205 edrx edrx 32768 Feb 23 18:21 ../
-rw-r--r--   1 edrx edrx  3033 Apr 14  2014 Makefile
-rw-r--r--   1 edrx edrx  6097 Feb 23 18:20 Makefile.html
-rw-r--r--   1 edrx edrx  8037 Apr 14  2014 README
-rw-r--r--   1 edrx edrx 15371 Feb 23 18:20 README.html
-rw-r--r--   1 edrx edrx  6268 Apr 14  2014 begriff.lua
-rw-r--r--   1 edrx edrx  9738 Feb 23 18:20 begriff.lua.html
-rw-r--r--   1 edrx edrx   394 Jun  1  2015 binloader.lua
-rw-r--r--   1 edrx edrx  1148 Feb 23 18:20 binloader.lua.html
-rwxr-xr-x   1 edrx edrx  6388 Apr 14  2014 build.lua*
-rw-r--r--   1 edrx edrx 10314 Feb 23 18:20 build.lua.html
-rw-r--r--   1 edrx edrx  5937 Jul 11  2015 common.lua
-rw-r--r--   1 edrx edrx 11788 Feb 23 18:20 common.lua.html
-rw-r--r--   1 edrx edrx 10886 Apr 14  2014 dednat-eev.el
-rw-r--r--   1 edrx edrx 17359 Feb 23 18:20 dednat-eev.el.html
-rwxr-xr-x   1 edrx edrx 57935 Apr 14  2014 dednat5.lua*
-rw-r--r--   1 edrx edrx 95863 Feb 23 18:20 dednat5.lua.html
-rw-r--r--   1 edrx edrx 81606 Apr 14  2014 dednat5.tgz
-rwxr-xr-x   1 edrx edrx  6107 Aug  6  2015 dednat6.lua*
-rw-r--r--   1 edrx edrx 14069 Feb 23 18:20 dednat6.lua.html
-rw-r--r--   1 edrx edrx  2681 Apr 14  2014 diagbox.lua
-rw-r--r--   1 edrx edrx  4404 Feb 23 18:20 diagbox.lua.html
-rw-r--r--   1 edrx edrx  6989 Apr 14  2014 diagforth.lua
-rw-r--r--   1 edrx edrx 12350 Feb 23 18:20 diagforth.lua.html
-rw-r--r--   1 edrx edrx  4943 Apr 14  2014 diagmiddle.lua
-rw-r--r--   1 edrx edrx  6247 Feb 23 18:20 diagmiddle.lua.html
-rw-r--r--   1 edrx edrx  2949 Apr 14  2014 diagstacks.lua
-rw-r--r--   1 edrx edrx  5062 Feb 23 18:20 diagstacks.lua.html
-rw-r--r--   1 edrx edrx  5078 Apr 14  2014 diagtex.lua
-rw-r--r--   1 edrx edrx  9350 Feb 23 18:20 diagtex.lua.html
-rw-r--r--   1 edrx edrx  6180 Apr 14  2014 eoo.lua
-rw-r--r--   1 edrx edrx  8247 Feb 23 18:20 eoo.lua.html
-rw-r--r--   1 edrx edrx  1129 Apr 14  2014 errors.lua
-rw-r--r--   1 edrx edrx  1902 Feb 23 18:20 errors.lua.html
-rw-r--r--   1 edrx edrx  5228 Apr 14  2014 gab-lpeg.lua
-rw-r--r--   1 edrx edrx  6432 Feb 23 18:20 gab-lpeg.lua.html
-rw-r--r--   1 edrx edrx  6277 Apr 14  2014 gab-oldparser.lua
-rw-r--r--   1 edrx edrx  7877 Feb 23 18:20 gab-oldparser.lua.html
-rw-r--r--   1 edrx edrx 15261 Apr 14  2014 gab-tests.lua
-rw-r--r--   1 edrx edrx 27743 Feb 23 18:20 gab-tests.lua.html
-rw-r--r--   1 edrx edrx 33758 Apr 14  2014 gab.lua
-rw-r--r--   1 edrx edrx 44747 Feb 23 18:20 gab.lua.html
-rw-r--r--   1 edrx edrx  9535 Apr 14  2014 gabriela-app.lua
-rw-r--r--   1 edrx edrx 14761 Feb 23 18:20 gabriela-app.lua.html
-rw-r--r--   1 edrx edrx 22582 Apr 14  2014 gabriela.lua
-rw-r--r--   1 edrx edrx 32367 Feb 23 18:20 gabriela.lua.html
-rw-r--r--   1 edrx edrx  3008 Jun 22  2015 heads6.lua
-rw-r--r--   1 edrx edrx  7599 Feb 23 18:20 heads6.lua.html
-rw-r--r--   1 edrx edrx  1397 Jul 11  2015 lualoader.lua
-rw-r--r--   1 edrx edrx  2616 Feb 23 18:20 lualoader.lua.html
-rw-r--r--   1 edrx edrx 45088 Aug 17  2015 newrect.lua
-rw-r--r--   1 edrx edrx 65302 Feb 23 18:20 newrect.lua.html
-rw-r--r--   1 edrx edrx  2069 May 18  2015 options.lua
-rw-r--r--   1 edrx edrx  4043 Feb 23 18:20 options.lua.html
-rw-r--r--   1 edrx edrx  2074 Aug  6  2015 options6.lua
-rw-r--r--   1 edrx edrx  4051 Feb 23 18:20 options6.lua.html
-rw-r--r--   1 edrx edrx  1599 Jun 22  2015 parse.lua
-rw-r--r--   1 edrx edrx  2543 Feb 23 18:20 parse.lua.html
-rw-r--r--   1 edrx edrx  5609 Jul 12  2015 picture.lua
-rw-r--r--   1 edrx edrx  7415 Feb 23 18:20 picture.lua.html
-rw-r--r--   1 edrx edrx  1726 May 18  2015 preamble.lua
-rw-r--r--   1 edrx edrx  3269 Feb 23 18:20 preamble.lua.html
-rw-r--r--   1 edrx edrx  1249 Jun  1  2015 preamble6.lua
-rw-r--r--   1 edrx edrx  2236 Feb 23 18:20 preamble6.lua.html
-rw-r--r--   1 edrx edrx  3387 Apr 14  2014 prefixes.lua
-rw-r--r--   1 edrx edrx  5149 Feb 23 18:20 prefixes.lua.html
-rw-r--r--   1 edrx edrx  4782 Jun  1  2015 process.lua
-rw-r--r--   1 edrx edrx  9278 Feb 23 18:20 process.lua.html
-rw-r--r--   1 edrx edrx  4789 Aug  5  2015 rect.lua
-rw-r--r--   1 edrx edrx  5804 Feb 23 18:20 rect.lua.html
-rw-r--r--   1 edrx edrx  3368 Apr 14  2014 repl-old.lua
-rw-r--r--   1 edrx edrx  5173 Feb 23 18:20 repl-old.lua.html
-rw-r--r--   1 edrx edrx  8693 Apr 14  2014 repl.lua
-rw-r--r--   1 edrx edrx 10639 Feb 23 18:20 repl.lua.html
-rw-r--r--   1 edrx edrx  9808 Aug  6  2015 stacks.lua
-rw-r--r--   1 edrx edrx 15917 Feb 23 18:20 stacks.lua.html
drwxr-xr-x   2 edrx edrx  4096 Feb 23 18:20 tests/
-rw-r--r--   1 edrx edrx  3804 Jun  1  2015 texfile.lua
-rw-r--r--   1 edrx edrx  6090 Feb 23 18:20 texfile.lua.html
-rw-r--r--   1 edrx edrx  2331 Apr 14  2014 tos.lua
-rw-r--r--   1 edrx edrx  3857 Feb 23 18:20 tos.lua.html
-rw-r--r--   1 edrx edrx  1814 May 18  2015 treehead.lua
-rw-r--r--   1 edrx edrx  3485 Feb 23 18:20 treehead.lua.html
-rw-r--r--   1 edrx edrx  3963 Apr 14  2014 treesegs.lua
-rw-r--r--   1 edrx edrx  6046 Feb 23 18:20 treesegs.lua.html
-rw-r--r--   1 edrx edrx  2409 Apr 14  2014 treetex.lua
-rw-r--r--   1 edrx edrx  3675 Feb 23 18:20 treetex.lua.html
-rw-r--r--   1 edrx edrx   856 Jun 17  2015 wrap.lua
-rw-r--r--   1 edrx edrx  1819 Feb 23 18:20 wrap.lua.html
-rw-r--r--   1 edrx edrx  6399 Apr 14  2014 zdags.lua
-rw-r--r--   1 edrx edrx  9657 Feb 23 18:20 zdags.lua.html
-rw-r--r--   1 edrx edrx 15041 Jun 25  2015 zha.lua
-rw-r--r--   1 edrx edrx 19057 Feb 23 18:20 zha.lua.html
-rw-r--r--   1 edrx edrx 16390 Jul 11  2015 zrect.lua
-rw-r--r--   1 edrx edrx 21169 Feb 23 18:20 zrect.lua.html