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