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