drwxr-xr-x 3 edrx edrx 4096 May 18 12:44 ./ drwxr-xr-x 131 edrx edrx 12288 May 18 12:44 ../ -rw-r--r-- 1 edrx edrx 3033 Feb 17 11:14 Makefile -rw-r--r-- 1 edrx edrx 5965 May 18 12:44 Makefile.html -rw-r--r-- 1 edrx edrx 6167 Nov 30 03:58 README -rw-r--r-- 1 edrx edrx 11961 May 18 12:44 README.html -rw-r--r-- 1 edrx edrx 6268 May 15 2011 begriff.lua -rw-r--r-- 1 edrx edrx 9638 May 18 12:44 begriff.lua.html -rwxr-xr-x 1 edrx edrx 6388 Feb 16 22:34 build.lua* -rw-r--r-- 1 edrx edrx 10254 May 18 12:44 build.lua.html -rw-r--r-- 1 edrx edrx 5813 Feb 16 00:00 common.lua -rw-r--r-- 1 edrx edrx 11318 May 18 12:44 common.lua.html -rw-r--r-- 1 edrx edrx 10886 Nov 16 2011 dednat-eev.el -rw-r--r-- 1 edrx edrx 17054 May 18 12:44 dednat-eev.el.html -rwxr-xr-x 1 edrx edrx 57936 Feb 16 22:34 dednat5.lua* -rw-r--r-- 1 edrx edrx 93808 May 18 12:44 dednat5.lua.html -rw-r--r-- 1 edrx edrx 81606 Feb 17 11:14 dednat5.tgz -rw-r--r-- 1 edrx edrx 6989 Feb 16 22:33 diagforth.lua -rw-r--r-- 1 edrx edrx 12142 May 18 12:44 diagforth.lua.html -rw-r--r-- 1 edrx edrx 3371 May 15 2011 diagmiddle.lua -rw-r--r-- 1 edrx edrx 4553 May 18 12:44 diagmiddle.lua.html -rw-r--r-- 1 edrx edrx 2949 Nov 25 22:04 diagstacks.lua -rw-r--r-- 1 edrx edrx 4954 May 18 12:44 diagstacks.lua.html -rw-r--r-- 1 edrx edrx 5078 May 10 2011 diagtex.lua -rw-r--r-- 1 edrx edrx 9148 May 18 12:44 diagtex.lua.html -rw-r--r-- 1 edrx edrx 6180 Nov 21 08:33 eoo.lua -rw-r--r-- 1 edrx edrx 8206 May 18 12:44 eoo.lua.html -rw-r--r-- 1 edrx edrx 1129 Feb 16 00:58 errors.lua -rw-r--r-- 1 edrx edrx 1909 May 18 12:44 errors.lua.html -rw-r--r-- 1 edrx edrx 5228 May 15 08:18 gab-lpeg.lua -rw-r--r-- 1 edrx edrx 6459 May 18 12:44 gab-lpeg.lua.html -rw-r--r-- 1 edrx edrx 6277 May 11 02:22 gab-oldparser.lua -rw-r--r-- 1 edrx edrx 7822 May 18 12:44 gab-oldparser.lua.html -rw-r--r-- 1 edrx edrx 15261 May 13 22:10 gab-tests.lua -rw-r--r-- 1 edrx edrx 27245 May 18 12:44 gab-tests.lua.html -rw-r--r-- 1 edrx edrx 33758 May 14 13:16 gab.lua -rw-r--r-- 1 edrx edrx 44041 May 18 12:44 gab.lua.html -rw-r--r-- 1 edrx edrx 9535 Mar 30 00:36 gabriela-app.lua -rw-r--r-- 1 edrx edrx 14594 May 18 12:44 gabriela-app.lua.html -rw-r--r-- 1 edrx edrx 22582 Mar 30 18:09 gabriela.lua -rw-r--r-- 1 edrx edrx 32043 May 18 12:44 gabriela.lua.html -rw-r--r-- 1 edrx edrx 2069 Nov 25 22:26 options.lua -rw-r--r-- 1 edrx edrx 4047 May 18 12:44 options.lua.html -rw-r--r-- 1 edrx edrx 1601 May 9 2011 parse.lua -rw-r--r-- 1 edrx edrx 2591 May 18 12:44 parse.lua.html -rw-r--r-- 1 edrx edrx 1725 Feb 15 23:46 preamble.lua -rw-r--r-- 1 edrx edrx 3257 May 18 12:44 preamble.lua.html -rw-r--r-- 1 edrx edrx 3387 May 9 2011 prefixes.lua -rw-r--r-- 1 edrx edrx 5133 May 18 12:44 prefixes.lua.html -rw-r--r-- 1 edrx edrx 4704 May 9 2011 process.lua -rw-r--r-- 1 edrx edrx 8799 May 18 12:44 process.lua.html -rw-r--r-- 1 edrx edrx 3368 Nov 26 22:40 repl-old.lua -rw-r--r-- 1 edrx edrx 5173 May 18 12:44 repl-old.lua.html -rw-r--r-- 1 edrx edrx 8693 Dec 5 08:10 repl.lua -rw-r--r-- 1 edrx edrx 10639 May 18 12:44 repl.lua.html drwxr-xr-x 2 edrx edrx 4096 May 18 12:44 tests/ -rw-r--r-- 1 edrx edrx 2331 Mar 15 23:50 tos.lua -rw-r--r-- 1 edrx edrx 3863 May 18 12:44 tos.lua.html -rw-r--r-- 1 edrx edrx 1671 Feb 15 23:59 treehead.lua -rw-r--r-- 1 edrx edrx 2915 May 18 12:44 treehead.lua.html -rw-r--r-- 1 edrx edrx 3963 May 9 2011 treesegs.lua -rw-r--r-- 1 edrx edrx 6041 May 18 12:44 treesegs.lua.html -rw-r--r-- 1 edrx edrx 2409 May 9 2011 treetex.lua -rw-r--r-- 1 edrx edrx 3690 May 18 12:44 treetex.lua.html -rw-r--r-- 1 edrx edrx 6348 May 18 2011 zdags.lua -rw-r--r-- 1 edrx edrx 9480 May 18 12:44 zdags.lua.html