isabelle: Changelog

haftmann [Mon, 05 Jul 2010 15:12:20 +0200] rev 37715

tuned proof

haftmann [Mon, 05 Jul 2010 15:12:20 +0200] rev 37714

tuned

wenzelm [Mon, 05 Jul 2010 23:07:36 +0200] rev 37713

Outer_Syntax.prepare_command: disallow control commands here, and consequently in Isar documents;

wenzelm [Mon, 05 Jul 2010 22:26:20 +0200] rev 37712

specific ML_val vs. ML_command;

wenzelm [Mon, 05 Jul 2010 20:36:39 +0200] rev 37711

async_state: report within proper transaction context;

haftmann [Mon, 05 Jul 2010 14:35:00 +0200] rev 37710

merged

haftmann [Mon, 05 Jul 2010 14:34:28 +0200] rev 37709

simplified representation of monad type

wenzelm [Mon, 05 Jul 2010 11:25:06 +0200] rev 37708

attempt to reconstruct missing HOL/Codegenerator_Test/ROOT.ML;

wenzelm [Mon, 05 Jul 2010 10:47:39 +0200] rev 37707

merged

haftmann [Mon, 05 Jul 2010 10:42:27 +0200] rev 37706

updated document

isabelle