Sun, 28 Nov 2010 21:07:28 +0100 | wenzelm | Parse.liberal_name for document antiquotations and attributes; | file | diff | annotate |
Sun, 28 Nov 2010 20:03:19 +0100 | wenzelm | added Parse.literal_fact with proper inner_syntax markup (source position); | file | diff | annotate |
Sun, 31 Oct 2010 13:26:37 +0100 | wenzelm | syntax category "real" subsumes plain "int"; | 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 |
Mon, 17 May 2010 15:11:25 +0200 | wenzelm | renamed structure OuterLex to Token and type token to Token.T, keeping legacy aliases for some time; | file | diff | annotate |
Mon, 17 May 2010 10:20:55 +0200 | wenzelm | centralized legacy aliases; | file | diff | annotate |
Sat, 15 May 2010 22:24:25 +0200 | wenzelm | renamed structure OuterKeyword to Keyword and OuterParse to Parse, keeping the old names as legacy aliases for some time; | file | diff | annotate | base |