| Mon, 19 Mar 2012 14:59:31 +0100 | wenzelm | clarified command span classification: strict Command.is_command, permissive Command.name; | file | diff | annotate |
| Thu, 15 Mar 2012 14:22:54 +0100 | wenzelm | clarified syntax of prospective keywords; | file | diff | annotate |
| Thu, 30 Jun 2011 19:24:09 +0200 | wenzelm | more general theory header parsing; | file | diff | annotate |
| Sat, 18 Jun 2011 11:45:07 +0200 | wenzelm | more uniform treatment of "keyword" vs. "operator"; | file | diff | annotate |
| Fri, 17 Jun 2011 00:10:39 +0200 | wenzelm | recovered markup for non-alphabetic keywords; | file | diff | annotate |
| Sat, 30 Oct 2010 15:26:40 +0200 | wenzelm | support for floating-point tokens in outer syntax (coinciding with inner syntax version); | file | diff | annotate |
| Thu, 12 Aug 2010 17:55:23 +0200 | wenzelm | more basic notion of unparsed input; | file | diff | annotate |
| Mon, 17 May 2010 14:23:54 +0200 | wenzelm | renamed class Outer_Lex to Token and Token_Kind to Token.Kind; | file | diff | annotate | base |