drwxr-xr-x   3 edrx edrx  4096 Jun 30 15:29 ./
drwxr-xr-x 172 edrx edrx 20480 Jun 30 15:30 ../
-rw-r--r--   1 edrx edrx  3033 Feb 17  2012 Makefile
-rw-r--r--   1 edrx edrx  6045 Jun 30 15:29 Makefile.html
-rw-r--r--   1 edrx edrx  8037 Jun 14  2012 README
-rw-r--r--   1 edrx edrx 15195 Jun 30 15:29 README.html
-rw-r--r--   1 edrx edrx  6268 May 15  2011 begriff.lua
-rw-r--r--   1 edrx edrx  9670 Jun 30 15:29 begriff.lua.html
-rw-r--r--   1 edrx edrx   394 May 30 13:31 binloader.lua
-rw-r--r--   1 edrx edrx  1155 Jun 30 15:29 binloader.lua.html
-rwxr-xr-x   1 edrx edrx  6388 Feb 16  2012 build.lua*
-rw-r--r--   1 edrx edrx 10217 Jun 30 15:29 build.lua.html
-rw-r--r--   1 edrx edrx  5813 Feb 16  2012 common.lua
-rw-r--r--   1 edrx edrx 11538 Jun 30 15:29 common.lua.html
-rw-r--r--   1 edrx edrx 10886 Nov 16  2011 dednat-eev.el
-rw-r--r--   1 edrx edrx 17234 Jun 30 15:29 dednat-eev.el.html
-rwxr-xr-x   1 edrx edrx 57935 Jun 11  2012 dednat5.lua*
-rw-r--r--   1 edrx edrx 94935 Jun 30 15:29 dednat5.lua.html
-rw-r--r--   1 edrx edrx 81606 Feb 17  2012 dednat5.tgz
-rwxr-xr-x   1 edrx edrx  4837 Jun 20 13:06 dednat6.lua*
-rw-r--r--   1 edrx edrx 11861 Jun 30 15:29 dednat6.lua.html
-rw-r--r--   1 edrx edrx  2681 Jan 31  2013 diagbox.lua
-rw-r--r--   1 edrx edrx  4381 Jun 30 15:29 diagbox.lua.html
-rw-r--r--   1 edrx edrx  6989 Feb 16  2012 diagforth.lua
-rw-r--r--   1 edrx edrx 12224 Jun 30 15:29 diagforth.lua.html
-rw-r--r--   1 edrx edrx  4943 Jan 31  2013 diagmiddle.lua
-rw-r--r--   1 edrx edrx  6240 Jun 30 15:29 diagmiddle.lua.html
-rw-r--r--   1 edrx edrx  2949 Nov 25  2011 diagstacks.lua
-rw-r--r--   1 edrx edrx  5034 Jun 30 15:29 diagstacks.lua.html
-rw-r--r--   1 edrx edrx  5078 May 10  2011 diagtex.lua
-rw-r--r--   1 edrx edrx  9262 Jun 30 15:29 diagtex.lua.html
-rw-r--r--   1 edrx edrx  6180 Nov 21  2011 eoo.lua
-rw-r--r--   1 edrx edrx  8220 Jun 30 15:29 eoo.lua.html
-rw-r--r--   1 edrx edrx  1129 Feb 16  2012 errors.lua
-rw-r--r--   1 edrx edrx  1909 Jun 30 15:29 errors.lua.html
-rw-r--r--   1 edrx edrx  5228 May 15  2012 gab-lpeg.lua
-rw-r--r--   1 edrx edrx  6433 Jun 30 15:29 gab-lpeg.lua.html
-rw-r--r--   1 edrx edrx  6277 May 11  2012 gab-oldparser.lua
-rw-r--r--   1 edrx edrx  7862 Jun 30 15:29 gab-oldparser.lua.html
-rw-r--r--   1 edrx edrx 15261 May 13  2012 gab-tests.lua
-rw-r--r--   1 edrx edrx 27473 Jun 30 15:29 gab-tests.lua.html
-rw-r--r--   1 edrx edrx 33758 May 14  2012 gab.lua
-rw-r--r--   1 edrx edrx 44511 Jun 30 15:29 gab.lua.html
-rw-r--r--   1 edrx edrx  9535 Mar 30  2012 gabriela-app.lua
-rw-r--r--   1 edrx edrx 14650 Jun 30 15:29 gabriela-app.lua.html
-rw-r--r--   1 edrx edrx 22582 Mar 30  2012 gabriela.lua
-rw-r--r--   1 edrx edrx 32109 Jun 30 15:29 gabriela.lua.html
-rw-r--r--   1 edrx edrx  3008 Jun 22 00:21 heads6.lua
-rw-r--r--   1 edrx edrx  7504 Jun 30 15:29 heads6.lua.html
-rw-r--r--   1 edrx edrx  1291 May 30 13:32 lualoader.lua
-rw-r--r--   1 edrx edrx  2508 Jun 30 15:29 lualoader.lua.html
-rw-r--r--   1 edrx edrx  2069 May 17 06:40 options.lua
-rw-r--r--   1 edrx edrx  4011 Jun 30 15:29 options.lua.html
-rw-r--r--   1 edrx edrx  2072 May 17 06:42 options6.lua
-rw-r--r--   1 edrx edrx  4016 Jun 30 15:29 options6.lua.html
-rw-r--r--   1 edrx edrx  1599 Jun 20 19:20 parse.lua
-rw-r--r--   1 edrx edrx  2541 Jun 30 15:29 parse.lua.html
-rw-r--r--   1 edrx edrx  5407 Jun  8 00:47 picture.lua
-rw-r--r--   1 edrx edrx  7186 Jun 30 15:29 picture.lua.html
-rw-r--r--   1 edrx edrx  1726 May 17 06:43 preamble.lua
-rw-r--r--   1 edrx edrx  3258 Jun 30 15:29 preamble.lua.html
-rw-r--r--   1 edrx edrx  1249 May 31 17:15 preamble6.lua
-rw-r--r--   1 edrx edrx  2231 Jun 30 15:29 preamble6.lua.html
-rw-r--r--   1 edrx edrx  3387 May  9  2011 prefixes.lua
-rw-r--r--   1 edrx edrx  5127 Jun 30 15:29 prefixes.lua.html
-rw-r--r--   1 edrx edrx  4782 May 29 01:05 process.lua
-rw-r--r--   1 edrx edrx  9181 Jun 30 15:29 process.lua.html
-rw-r--r--   1 edrx edrx  3368 Nov 26  2011 repl-old.lua
-rw-r--r--   1 edrx edrx  5147 Jun 30 15:29 repl-old.lua.html
-rw-r--r--   1 edrx edrx  8693 Dec  5  2011 repl.lua
-rw-r--r--   1 edrx edrx 10613 Jun 30 15:29 repl.lua.html
drwxr-xr-x   2 edrx edrx  4096 Jun 30 15:29 tests/
-rw-r--r--   1 edrx edrx  3804 May 31 18:29 texfile.lua
-rw-r--r--   1 edrx edrx  6047 Jun 30 15:29 texfile.lua.html
-rw-r--r--   1 edrx edrx  2331 Mar 15  2012 tos.lua
-rw-r--r--   1 edrx edrx  3837 Jun 30 15:29 tos.lua.html
-rw-r--r--   1 edrx edrx  1814 May  9 21:59 treehead.lua
-rw-r--r--   1 edrx edrx  3466 Jun 30 15:29 treehead.lua.html
-rw-r--r--   1 edrx edrx  3963 May  9  2011 treesegs.lua
-rw-r--r--   1 edrx edrx  6009 Jun 30 15:29 treesegs.lua.html
-rw-r--r--   1 edrx edrx  2409 May  9  2011 treetex.lua
-rw-r--r--   1 edrx edrx  3664 Jun 30 15:29 treetex.lua.html
-rw-r--r--   1 edrx edrx   856 Jun 17 13:06 wrap.lua
-rw-r--r--   1 edrx edrx  1814 Jun 30 15:29 wrap.lua.html
-rw-r--r--   1 edrx edrx  6399 Jan  1  2014 zdags.lua
-rw-r--r--   1 edrx edrx  9595 Jun 30 15:29 zdags.lua.html
-rw-r--r--   1 edrx edrx 13859 Jun 26 19:26 zha.lua
-rw-r--r--   1 edrx edrx 17152 Jun 30 15:29 zha.lua.html
-rw-r--r--   1 edrx edrx 16388 Jun  8 02:01 zrect.lua
-rw-r--r--   1 edrx edrx 21043 Jun 30 15:29 zrect.lua.html