drwxr-xr-x   3 edrx edrx  4096 May 17 02:55 ./
drwxr-xr-x 218 edrx edrx 36864 May 17 02:56 ../
-rw-r--r--   1 edrx edrx  3033 Feb 21 22:17 Makefile
-rw-r--r--   1 edrx edrx  6097 May 17 02:55 Makefile.html
-rw-r--r--   1 edrx edrx  8037 Feb 21 22:17 README
-rw-r--r--   1 edrx edrx 15372 May 17 02:55 README.html
-rw-r--r--   1 edrx edrx  6268 Feb 21 22:17 begriff.lua
-rw-r--r--   1 edrx edrx  9852 May 17 02:55 begriff.lua.html
-rw-r--r--   1 edrx edrx   394 Feb 21 22:17 binloader.lua
-rw-r--r--   1 edrx edrx  1148 May 17 02:55 binloader.lua.html
-rwxr-xr-x   1 edrx edrx  6388 Feb 21 22:17 build.lua*
-rw-r--r--   1 edrx edrx 10314 May 17 02:55 build.lua.html
-rw-r--r--   1 edrx edrx  5937 Feb 21 22:17 common.lua
-rw-r--r--   1 edrx edrx 11788 May 17 02:55 common.lua.html
-rw-r--r--   1 edrx edrx 10886 Feb 21 22:17 dednat-eev.el
-rw-r--r--   1 edrx edrx 17359 May 17 02:55 dednat-eev.el.html
-rwxr-xr-x   1 edrx edrx 57935 Feb 21 22:17 dednat5.lua*
-rw-r--r--   1 edrx edrx 95978 May 17 02:55 dednat5.lua.html
-rw-r--r--   1 edrx edrx 81606 Feb 21 22:17 dednat5.tgz
-rwxr-xr-x   1 edrx edrx  6107 Feb 21 22:17 dednat6.lua*
-rw-r--r--   1 edrx edrx 14069 May 17 02:55 dednat6.lua.html
-rw-r--r--   1 edrx edrx  2681 Feb 21 22:17 diagbox.lua
-rw-r--r--   1 edrx edrx  4404 May 17 02:55 diagbox.lua.html
-rw-r--r--   1 edrx edrx  6989 Feb 21 22:17 diagforth.lua
-rw-r--r--   1 edrx edrx 12350 May 17 02:55 diagforth.lua.html
-rw-r--r--   1 edrx edrx  4943 Feb 21 22:17 diagmiddle.lua
-rw-r--r--   1 edrx edrx  6247 May 17 02:55 diagmiddle.lua.html
-rw-r--r--   1 edrx edrx  2949 Feb 21 22:17 diagstacks.lua
-rw-r--r--   1 edrx edrx  5062 May 17 02:55 diagstacks.lua.html
-rw-r--r--   1 edrx edrx  5078 Feb 21 22:17 diagtex.lua
-rw-r--r--   1 edrx edrx  9350 May 17 02:55 diagtex.lua.html
-rw-r--r--   1 edrx edrx  6180 Feb 21 22:17 eoo.lua
-rw-r--r--   1 edrx edrx  8247 May 17 02:55 eoo.lua.html
-rw-r--r--   1 edrx edrx  1129 Feb 21 22:17 errors.lua
-rw-r--r--   1 edrx edrx  1902 May 17 02:55 errors.lua.html
-rw-r--r--   1 edrx edrx  5228 Feb 21 22:17 gab-lpeg.lua
-rw-r--r--   1 edrx edrx  6432 May 17 02:55 gab-lpeg.lua.html
-rw-r--r--   1 edrx edrx  6277 Feb 21 22:17 gab-oldparser.lua
-rw-r--r--   1 edrx edrx  7877 May 17 02:55 gab-oldparser.lua.html
-rw-r--r--   1 edrx edrx 15261 Feb 21 22:17 gab-tests.lua
-rw-r--r--   1 edrx edrx 27743 May 17 02:55 gab-tests.lua.html
-rw-r--r--   1 edrx edrx 33758 Feb 21 22:17 gab.lua
-rw-r--r--   1 edrx edrx 44747 May 17 02:55 gab.lua.html
-rw-r--r--   1 edrx edrx  9535 Feb 21 22:17 gabriela-app.lua
-rw-r--r--   1 edrx edrx 14761 May 17 02:55 gabriela-app.lua.html
-rw-r--r--   1 edrx edrx 22582 Feb 21 22:17 gabriela.lua
-rw-r--r--   1 edrx edrx 32367 May 17 02:55 gabriela.lua.html
-rw-r--r--   1 edrx edrx  3008 Feb 21 22:17 heads6.lua
-rw-r--r--   1 edrx edrx  7599 May 17 02:55 heads6.lua.html
-rw-r--r--   1 edrx edrx  1397 Feb 21 22:17 lualoader.lua
-rw-r--r--   1 edrx edrx  2617 May 17 02:55 lualoader.lua.html
-rw-r--r--   1 edrx edrx 45088 Feb 21 22:17 newrect.lua
-rw-r--r--   1 edrx edrx 65418 May 17 02:55 newrect.lua.html
-rw-r--r--   1 edrx edrx  2069 Feb 21 22:17 options.lua
-rw-r--r--   1 edrx edrx  4044 May 17 02:55 options.lua.html
-rw-r--r--   1 edrx edrx  2074 Feb 21 22:17 options6.lua
-rw-r--r--   1 edrx edrx  4052 May 17 02:55 options6.lua.html
-rw-r--r--   1 edrx edrx  1599 Feb 21 22:17 parse.lua
-rw-r--r--   1 edrx edrx  2543 May 17 02:55 parse.lua.html
-rw-r--r--   1 edrx edrx  5609 Feb 21 22:17 picture.lua
-rw-r--r--   1 edrx edrx  7416 May 17 02:55 picture.lua.html
-rw-r--r--   1 edrx edrx  1726 Feb 21 22:17 preamble.lua
-rw-r--r--   1 edrx edrx  3269 May 17 02:55 preamble.lua.html
-rw-r--r--   1 edrx edrx  1249 Feb 21 22:17 preamble6.lua
-rw-r--r--   1 edrx edrx  2236 May 17 02:55 preamble6.lua.html
-rw-r--r--   1 edrx edrx  3387 Feb 21 22:17 prefixes.lua
-rw-r--r--   1 edrx edrx  5149 May 17 02:55 prefixes.lua.html
-rw-r--r--   1 edrx edrx  4782 Feb 21 22:17 process.lua
-rw-r--r--   1 edrx edrx  9278 May 17 02:55 process.lua.html
-rw-r--r--   1 edrx edrx  4789 Feb 21 22:17 rect.lua
-rw-r--r--   1 edrx edrx  5804 May 17 02:55 rect.lua.html
-rw-r--r--   1 edrx edrx  3368 Feb 21 22:17 repl-old.lua
-rw-r--r--   1 edrx edrx  5173 May 17 02:55 repl-old.lua.html
-rw-r--r--   1 edrx edrx  8693 Feb 21 22:17 repl.lua
-rw-r--r--   1 edrx edrx 10639 May 17 02:55 repl.lua.html
-rw-r--r--   1 edrx edrx  9808 Feb 21 22:17 stacks.lua
-rw-r--r--   1 edrx edrx 15917 May 17 02:55 stacks.lua.html
drwxr-xr-x   2 edrx edrx  4096 May 17 02:55 tests/
-rw-r--r--   1 edrx edrx  3804 Feb 21 22:17 texfile.lua
-rw-r--r--   1 edrx edrx  6091 May 17 02:55 texfile.lua.html
-rw-r--r--   1 edrx edrx  2331 Feb 21 22:17 tos.lua
-rw-r--r--   1 edrx edrx  3857 May 17 02:55 tos.lua.html
-rw-r--r--   1 edrx edrx  1814 Feb 21 22:17 treehead.lua
-rw-r--r--   1 edrx edrx  3485 May 17 02:55 treehead.lua.html
-rw-r--r--   1 edrx edrx  3963 Feb 21 22:17 treesegs.lua
-rw-r--r--   1 edrx edrx  6046 May 17 02:55 treesegs.lua.html
-rw-r--r--   1 edrx edrx  2409 Feb 21 22:17 treetex.lua
-rw-r--r--   1 edrx edrx  3675 May 17 02:55 treetex.lua.html
-rw-r--r--   1 edrx edrx   856 Feb 21 22:17 wrap.lua
-rw-r--r--   1 edrx edrx  1819 May 17 02:55 wrap.lua.html
-rw-r--r--   1 edrx edrx  6399 Feb 21 22:17 zdags.lua
-rw-r--r--   1 edrx edrx  9657 May 17 02:55 zdags.lua.html
-rw-r--r--   1 edrx edrx 15041 Feb 21 22:17 zha.lua
-rw-r--r--   1 edrx edrx 19384 May 17 02:55 zha.lua.html
-rw-r--r--   1 edrx edrx 16390 Feb 21 22:17 zrect.lua
-rw-r--r--   1 edrx edrx 21169 May 17 02:55 zrect.lua.html