drwxr-xr-x   3 edrx edrx  4096 May 27 14:41 ./
drwxr-xr-x 315 edrx edrx 36864 May 27 14:41 ../
-rw-r--r--   1 edrx edrx  3033 Feb 22  2020 Makefile
-rw-r--r--   1 edrx edrx  6106 May 27 14:41 Makefile.html
-rw-r--r--   1 edrx edrx  8037 Feb 22  2020 README
-rw-r--r--   1 edrx edrx 15235 May 27 14:41 README.html
-rw-r--r--   1 edrx edrx  6268 Feb 22  2020 begriff.lua
-rw-r--r--   1 edrx edrx  9864 May 27 14:41 begriff.lua.html
-rw-r--r--   1 edrx edrx   394 Feb 22  2020 binloader.lua
-rw-r--r--   1 edrx edrx  1136 May 27 14:41 binloader.lua.html
-rwxr-xr-x   1 edrx edrx  6388 Feb 22  2020 build.lua*
-rw-r--r--   1 edrx edrx 10190 May 27 14:41 build.lua.html
-rw-r--r--   1 edrx edrx  5937 Feb 22  2020 common.lua
-rw-r--r--   1 edrx edrx 11570 May 27 14:41 common.lua.html
-rw-r--r--   1 edrx edrx 10886 Feb 22  2020 dednat-eev.el
-rw-r--r--   1 edrx edrx 17375 May 27 14:41 dednat-eev.el.html
-rwxr-xr-x   1 edrx edrx 57935 Feb 22  2020 dednat5.lua*
-rw-r--r--   1 edrx edrx 95240 May 27 14:41 dednat5.lua.html
-rw-r--r--   1 edrx edrx 81606 Feb 22  2020 dednat5.tgz
-rwxr-xr-x   1 edrx edrx  6107 Feb 22  2020 dednat6.lua*
-rw-r--r--   1 edrx edrx 13994 May 27 14:41 dednat6.lua.html
-rw-r--r--   1 edrx edrx  2681 Feb 22  2020 diagbox.lua
-rw-r--r--   1 edrx edrx  4396 May 27 14:41 diagbox.lua.html
-rw-r--r--   1 edrx edrx  6989 Feb 22  2020 diagforth.lua
-rw-r--r--   1 edrx edrx 12195 May 27 14:41 diagforth.lua.html
-rw-r--r--   1 edrx edrx  4943 Feb 22  2020 diagmiddle.lua
-rw-r--r--   1 edrx edrx  6141 May 27 14:41 diagmiddle.lua.html
-rw-r--r--   1 edrx edrx  2949 Feb 22  2020 diagstacks.lua
-rw-r--r--   1 edrx edrx  5066 May 27 14:41 diagstacks.lua.html
-rw-r--r--   1 edrx edrx  5078 Feb 22  2020 diagtex.lua
-rw-r--r--   1 edrx edrx  9370 May 27 14:41 diagtex.lua.html
-rw-r--r--   1 edrx edrx  6180 Feb 22  2020 eoo.lua
-rw-r--r--   1 edrx edrx  8207 May 27 14:41 eoo.lua.html
-rw-r--r--   1 edrx edrx  1129 Feb 22  2020 errors.lua
-rw-r--r--   1 edrx edrx  1890 May 27 14:41 errors.lua.html
-rw-r--r--   1 edrx edrx  5228 Feb 22  2020 gab-lpeg.lua
-rw-r--r--   1 edrx edrx  6424 May 27 14:41 gab-lpeg.lua.html
-rw-r--r--   1 edrx edrx  6277 Feb 22  2020 gab-oldparser.lua
-rw-r--r--   1 edrx edrx  7873 May 27 14:41 gab-oldparser.lua.html
-rw-r--r--   1 edrx edrx 15261 Feb 22  2020 gab-tests.lua
-rw-r--r--   1 edrx edrx 27637 May 27 14:41 gab-tests.lua.html
-rw-r--r--   1 edrx edrx 33758 Feb 22  2020 gab.lua
-rw-r--r--   1 edrx edrx 44565 May 27 14:41 gab.lua.html
-rw-r--r--   1 edrx edrx  9535 Feb 22  2020 gabriela-app.lua
-rw-r--r--   1 edrx edrx 14797 May 27 14:41 gabriela-app.lua.html
-rw-r--r--   1 edrx edrx 22582 Feb 22  2020 gabriela.lua
-rw-r--r--   1 edrx edrx 32187 May 27 14:41 gabriela.lua.html
-rw-r--r--   1 edrx edrx  3008 Feb 22  2020 heads6.lua
-rw-r--r--   1 edrx edrx  7615 May 27 14:41 heads6.lua.html
-rw-r--r--   1 edrx edrx  1397 Feb 22  2020 lualoader.lua
-rw-r--r--   1 edrx edrx  2605 May 27 14:41 lualoader.lua.html
-rw-r--r--   1 edrx edrx 45088 Feb 22  2020 newrect.lua
-rw-r--r--   1 edrx edrx 65336 May 27 14:41 newrect.lua.html
-rw-r--r--   1 edrx edrx  2069 Feb 22  2020 options.lua
-rw-r--r--   1 edrx edrx  3918 May 27 14:41 options.lua.html
-rw-r--r--   1 edrx edrx  2074 Feb 22  2020 options6.lua
-rw-r--r--   1 edrx edrx  3926 May 27 14:41 options6.lua.html
-rw-r--r--   1 edrx edrx  1599 Feb 22  2020 parse.lua
-rw-r--r--   1 edrx edrx  2535 May 27 14:41 parse.lua.html
-rw-r--r--   1 edrx edrx  5609 Feb 22  2020 picture.lua
-rw-r--r--   1 edrx edrx  7416 May 27 14:41 picture.lua.html
-rw-r--r--   1 edrx edrx  1726 Feb 22  2020 preamble.lua
-rw-r--r--   1 edrx edrx  3257 May 27 14:41 preamble.lua.html
-rw-r--r--   1 edrx edrx  1249 Feb 22  2020 preamble6.lua
-rw-r--r--   1 edrx edrx  2228 May 27 14:41 preamble6.lua.html
-rw-r--r--   1 edrx edrx  3387 Feb 22  2020 prefixes.lua
-rw-r--r--   1 edrx edrx  5145 May 27 14:41 prefixes.lua.html
-rw-r--r--   1 edrx edrx  4782 Feb 22  2020 process.lua
-rw-r--r--   1 edrx edrx  9294 May 27 14:41 process.lua.html
-rw-r--r--   1 edrx edrx  4789 Feb 22  2020 rect.lua
-rw-r--r--   1 edrx edrx  5796 May 27 14:41 rect.lua.html
-rw-r--r--   1 edrx edrx  3368 Feb 22  2020 repl-old.lua
-rw-r--r--   1 edrx edrx  4756 May 27 14:41 repl-old.lua.html
-rw-r--r--   1 edrx edrx  8693 Feb 22  2020 repl.lua
-rw-r--r--   1 edrx edrx 10222 May 27 14:41 repl.lua.html
-rw-r--r--   1 edrx edrx  9808 Feb 22  2020 stacks.lua
-rw-r--r--   1 edrx edrx 15973 May 27 14:41 stacks.lua.html
drwxr-xr-x   2 edrx edrx  4096 May 27 14:41 tests/
-rw-r--r--   1 edrx edrx  3804 Feb 22  2020 texfile.lua
-rw-r--r--   1 edrx edrx  6097 May 27 14:41 texfile.lua.html
-rw-r--r--   1 edrx edrx  2331 Feb 22  2020 tos.lua
-rw-r--r--   1 edrx edrx  3849 May 27 14:41 tos.lua.html
-rw-r--r--   1 edrx edrx  1814 Feb 22  2020 treehead.lua
-rw-r--r--   1 edrx edrx  3477 May 27 14:41 treehead.lua.html
-rw-r--r--   1 edrx edrx  3963 Feb 22  2020 treesegs.lua
-rw-r--r--   1 edrx edrx  6046 May 27 14:41 treesegs.lua.html
-rw-r--r--   1 edrx edrx  2409 Feb 22  2020 treetex.lua
-rw-r--r--   1 edrx edrx  3667 May 27 14:41 treetex.lua.html
-rw-r--r--   1 edrx edrx   856 Feb 22  2020 wrap.lua
-rw-r--r--   1 edrx edrx  1811 May 27 14:41 wrap.lua.html
-rw-r--r--   1 edrx edrx  6399 Feb 22  2020 zdags.lua
-rw-r--r--   1 edrx edrx  9667 May 27 14:41 zdags.lua.html
-rw-r--r--   1 edrx edrx 15041 Feb 22  2020 zha.lua
-rw-r--r--   1 edrx edrx 19322 May 27 14:41 zha.lua.html
-rw-r--r--   1 edrx edrx 16390 Feb 22  2020 zrect.lua
-rw-r--r--   1 edrx edrx 21203 May 27 14:41 zrect.lua.html