wenzelm [Tue, 14 Aug 2007 13:20:14 +0200] rev 24256
moved Tools/xml.ML to General/xml.ML (again);
added primitive_defs.ML;
wenzelm [Tue, 14 Aug 2007 13:20:12 +0200] rev 24255
PrimitiveDefs.mk_defpair;
isatest [Tue, 14 Aug 2007 00:52:59 +0200] rev 24254
be a bit more ressource cautious with multi-threading (-M 20 instead of 99)
haftmann [Mon, 13 Aug 2007 21:22:42 +0200] rev 24253
fixed syntax
haftmann [Mon, 13 Aug 2007 21:22:41 +0200] rev 24252
simplified
haftmann [Mon, 13 Aug 2007 21:22:40 +0200] rev 24251
fixed OCaml bug
haftmann [Mon, 13 Aug 2007 21:22:39 +0200] rev 24250
*** empty log message ***
haftmann [Mon, 13 Aug 2007 21:22:37 +0200] rev 24249
renamed keyword "to" to "module_name"
haftmann [Mon, 13 Aug 2007 21:22:36 +0200] rev 24248
dropped code_axioms
wenzelm [Mon, 13 Aug 2007 18:10:24 +0200] rev 24247
moved appl syntax to PureThy;
structure Lexicon: not hidden;
wenzelm [Mon, 13 Aug 2007 18:10:24 +0200] rev 24246
Lexicon.tokenize: do not appen EndToken yet;
term: include var, &&;
wenzelm [Mon, 13 Aug 2007 18:10:22 +0200] rev 24245
Lexicon.tokenize: do not appen EndToken yet;
wenzelm [Mon, 13 Aug 2007 18:10:22 +0200] rev 24244
Lexicon.read_indexname/nat/variable;
wenzelm [Mon, 13 Aug 2007 18:10:20 +0200] rev 24243
moved appl syntax to PureThy;
SimpleSyntax.read_typ/term/prop;
wenzelm [Mon, 13 Aug 2007 18:10:19 +0200] rev 24242
moved appl syntax to PureThy;
wenzelm [Mon, 13 Aug 2007 18:10:18 +0200] rev 24241
SimpleSyntax.read_prop;