isabelle: Changelog

wenzelm [Sat, 20 Jan 2007 14:09:23 +0100] rev 22138

* ML within Isar: antiquotations;

wenzelm [Sat, 20 Jan 2007 14:09:22 +0100] rev 22137

added @{theory};

wenzelm [Sat, 20 Jan 2007 14:09:21 +0100] rev 22136

added the_context_finished; eval_wrapper: Output.debug; simplified antiq signatures; added basic antiquotations; tuned;

wenzelm [Sat, 20 Jan 2007 14:09:20 +0100] rev 22135

Toplevel.debug: coincide with Output.debugging;

wenzelm [Sat, 20 Jan 2007 14:09:19 +0100] rev 22134

ML tactic: proper context for compile and runtime;

wenzelm [Sat, 20 Jan 2007 14:09:18 +0100] rev 22133

tuned;

wenzelm [Sat, 20 Jan 2007 14:09:17 +0100] rev 22132

added @{simpset};

wenzelm [Sat, 20 Jan 2007 14:09:16 +0100] rev 22131

added is_finished_thy;

wenzelm [Sat, 20 Jan 2007 14:09:14 +0100] rev 22130

Output.debug: non-strict; renamed Output.show_debug_msgs to Output.debugging (coincides with Toplevel.debug);

wenzelm [Sat, 20 Jan 2007 14:09:12 +0100] rev 22129

tuned ML setup; added @{claset};

isabelle