haftmann [Wed, 23 Dec 2009 08:31:14 +0100] rev 34170
reduced code generator cache to the baremost minimum; corrected spelling
wenzelm [Tue, 22 Dec 2009 21:48:17 +0100] rev 34169
basic setup for header scanning/parsing;
wenzelm [Tue, 22 Dec 2009 21:47:27 +0100] rev 34168
clarified atom parser: return content;
added tags parser;
wenzelm [Tue, 22 Dec 2009 21:46:41 +0100] rev 34167
tuned;
wenzelm [Tue, 22 Dec 2009 19:38:06 +0100] rev 34166
renamed class Outer_Keyword to Outer_Syntax;
renamed tokenize to scan (cf. ML version);
wenzelm [Tue, 22 Dec 2009 18:36:01 +0100] rev 34165
Isabelle session manager -- most basic setup;
wenzelm [Tue, 22 Dec 2009 17:59:59 +0100] rev 34164
actually closer file reader;
wenzelm [Tue, 22 Dec 2009 17:25:41 +0100] rev 34163
tuned;
wenzelm [Tue, 22 Dec 2009 17:13:43 +0100] rev 34162
added plain read_file;
wenzelm [Tue, 22 Dec 2009 17:13:18 +0100] rev 34161
consider proper input only;
added wrappers;
wenzelm [Tue, 22 Dec 2009 15:31:02 +0100] rev 34160
added completion -- lazy avoids excessive table building;
tuned signature;
wenzelm [Tue, 22 Dec 2009 15:00:43 +0100] rev 34159
Generic parsers for Isabelle/Isar outer syntax -- Scala version.
wenzelm [Tue, 22 Dec 2009 15:00:03 +0100] rev 34158
class Outer_Keyword wraps symbol interpretation, lexicon, keyword table;
wenzelm [Tue, 22 Dec 2009 14:58:13 +0100] rev 34157
explicit representation of Token_Kind -- cannot really depend on runtime types due to erasure;
added Token_Reader;
tuned;
paulson [Mon, 21 Dec 2009 16:50:28 +0000] rev 34156
Changes in generated code, apparently caused by changes to the code generation system itself.
paulson [Mon, 21 Dec 2009 16:49:04 +0000] rev 34155
Polishing up the English