drwxr-xr-x 3 edrx edrx 4096 May 18 18:03 ./ drwxr-xr-x 143 edrx edrx 20480 May 18 18:04 ../ -rw-r--r-- 1 edrx edrx 3033 Feb 17 2012 Makefile -rw-r--r-- 1 edrx edrx 5965 May 18 18:03 Makefile.html -rw-r--r-- 1 edrx edrx 8037 Jun 14 2012 README -rw-r--r-- 1 edrx edrx 15195 May 18 18:03 README.html -rw-r--r-- 1 edrx edrx 6268 May 15 2011 begriff.lua -rw-r--r-- 1 edrx edrx 9586 May 18 18:03 begriff.lua.html -rwxr-xr-x 1 edrx edrx 6388 Feb 16 2012 build.lua* -rw-r--r-- 1 edrx edrx 10202 May 18 18:03 build.lua.html -rw-r--r-- 1 edrx edrx 5813 Feb 16 2012 common.lua -rw-r--r-- 1 edrx edrx 11318 May 18 18:03 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 18:03 dednat-eev.el.html -rwxr-xr-x 1 edrx edrx 57935 Jun 11 2012 dednat5.lua* -rw-r--r-- 1 edrx edrx 93781 May 18 18:03 dednat5.lua.html -rw-r--r-- 1 edrx edrx 81606 Feb 17 2012 dednat5.tgz -rw-r--r-- 1 edrx edrx 2681 Jan 31 22:47 diagbox.lua -rw-r--r-- 1 edrx edrx 4381 May 18 18:03 diagbox.lua.html -rw-r--r-- 1 edrx edrx 6989 Feb 16 2012 diagforth.lua -rw-r--r-- 1 edrx edrx 12064 May 18 18:03 diagforth.lua.html -rw-r--r-- 1 edrx edrx 4943 Jan 31 23:11 diagmiddle.lua -rw-r--r-- 1 edrx edrx 6220 May 18 18:03 diagmiddle.lua.html -rw-r--r-- 1 edrx edrx 2949 Nov 25 2011 diagstacks.lua -rw-r--r-- 1 edrx edrx 4954 May 18 18:03 diagstacks.lua.html -rw-r--r-- 1 edrx edrx 5078 May 10 2011 diagtex.lua -rw-r--r-- 1 edrx edrx 9122 May 18 18:03 diagtex.lua.html -rw-r--r-- 1 edrx edrx 6180 Nov 21 2011 eoo.lua -rw-r--r-- 1 edrx edrx 8180 May 18 18:03 eoo.lua.html -rw-r--r-- 1 edrx edrx 1129 Feb 16 2012 errors.lua -rw-r--r-- 1 edrx edrx 1909 May 18 18:03 errors.lua.html -rw-r--r-- 1 edrx edrx 5228 May 15 2012 gab-lpeg.lua -rw-r--r-- 1 edrx edrx 6433 May 18 18:03 gab-lpeg.lua.html -rw-r--r-- 1 edrx edrx 6277 May 11 2012 gab-oldparser.lua -rw-r--r-- 1 edrx edrx 7822 May 18 18:03 gab-oldparser.lua.html -rw-r--r-- 1 edrx edrx 15261 May 13 2012 gab-tests.lua -rw-r--r-- 1 edrx edrx 27053 May 18 18:03 gab-tests.lua.html -rw-r--r-- 1 edrx edrx 33758 May 14 2012 gab.lua -rw-r--r-- 1 edrx edrx 44041 May 18 18:03 gab.lua.html -rw-r--r-- 1 edrx edrx 9535 Mar 30 2012 gabriela-app.lua -rw-r--r-- 1 edrx edrx 14490 May 18 18:03 gabriela-app.lua.html -rw-r--r-- 1 edrx edrx 22582 Mar 30 2012 gabriela.lua -rw-r--r-- 1 edrx edrx 31809 May 18 18:03 gabriela.lua.html -rw-r--r-- 1 edrx edrx 2069 Nov 25 2011 options.lua -rw-r--r-- 1 edrx edrx 4011 May 18 18:03 options.lua.html -rw-r--r-- 1 edrx edrx 1601 May 9 2011 parse.lua -rw-r--r-- 1 edrx edrx 2565 May 18 18:03 parse.lua.html -rw-r--r-- 1 edrx edrx 1725 Feb 15 2012 preamble.lua -rw-r--r-- 1 edrx edrx 3257 May 18 18:03 preamble.lua.html -rw-r--r-- 1 edrx edrx 3387 May 9 2011 prefixes.lua -rw-r--r-- 1 edrx edrx 5107 May 18 18:03 prefixes.lua.html -rw-r--r-- 1 edrx edrx 4704 May 9 2011 process.lua -rw-r--r-- 1 edrx edrx 8721 May 18 18:03 process.lua.html -rw-r--r-- 1 edrx edrx 3368 Nov 26 2011 repl-old.lua -rw-r--r-- 1 edrx edrx 5147 May 18 18:03 repl-old.lua.html -rw-r--r-- 1 edrx edrx 8693 Dec 5 2011 repl.lua -rw-r--r-- 1 edrx edrx 10613 May 18 18:03 repl.lua.html drwxr-xr-x 2 edrx edrx 4096 May 18 18:03 tests/ -rw-r--r-- 1 edrx edrx 2331 Mar 15 2012 tos.lua -rw-r--r-- 1 edrx edrx 3837 May 18 18:03 tos.lua.html -rw-r--r-- 1 edrx edrx 1735 Jan 31 21:33 treehead.lua -rw-r--r-- 1 edrx edrx 3077 May 18 18:03 treehead.lua.html -rw-r--r-- 1 edrx edrx 3963 May 9 2011 treesegs.lua -rw-r--r-- 1 edrx edrx 5989 May 18 18:03 treesegs.lua.html -rw-r--r-- 1 edrx edrx 2409 May 9 2011 treetex.lua -rw-r--r-- 1 edrx edrx 3664 May 18 18:03 treetex.lua.html -rw-r--r-- 1 edrx edrx 6348 May 18 2011 zdags.lua -rw-r--r-- 1 edrx edrx 9454 May 18 18:03 zdags.lua.html