isabelle: Changelog

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;

isabelle