wenzelm [Fri, 02 Jan 2009 19:30:12 +0100] rev 29317
renamed token markup "_xstr" to "_inner_string";
wenzelm [Fri, 02 Jan 2009 19:29:18 +0100] rev 29316
removed dead code;
proper "_numeral" token markup;
proper printing of arguments (higher-order numerals);
wenzelm [Fri, 02 Jan 2009 16:21:47 +0100] rev 29315
renamed ThyEdit (in thy_edit.ML) to ThySyntax (in thy_syntax.ML);
wenzelm [Fri, 02 Jan 2009 16:21:10 +0100] rev 29314
tuned;
wenzelm [Fri, 02 Jan 2009 15:44:59 +0100] rev 29313
Isar.command: plain Position.id;
tuned;
wenzelm [Fri, 02 Jan 2009 15:44:33 +0100] rev 29312
added type 'a parser, simplified signature;
wenzelm [Fri, 02 Jan 2009 15:44:33 +0100] rev 29311
added type 'a parser, simplified signature;
added internal_command wrapper;
tuned;
wenzelm [Fri, 02 Jan 2009 15:44:33 +0100] rev 29310
added type 'a parser, simplified signature;
moved properties to value_parse.ML;
moved props_text to isar_syn.ML;