isabelle: Changelog

wenzelm [Tue, 15 Jul 2008 23:36:26 +0200] rev 27615

tuned;

wenzelm [Tue, 15 Jul 2008 22:37:58 +0200] rev 27614

renamed IsarCmd.nested_command to OuterSyntax.prepare_command;

wenzelm [Tue, 15 Jul 2008 22:37:55 +0200] rev 27613

load thy_edit.ML before isar.ML;

wenzelm [Tue, 15 Jul 2008 19:39:37 +0200] rev 27612

modernized specifications and proofs; tuned document;

ballarin [Tue, 15 Jul 2008 16:50:09 +0200] rev 27611

Removed uses of context element includes.

haftmann [Tue, 15 Jul 2008 16:02:10 +0200] rev 27610

tuned

haftmann [Tue, 15 Jul 2008 16:02:07 +0200] rev 27609

tuned code theorem bookkeeping

wenzelm [Tue, 15 Jul 2008 15:59:49 +0200] rev 27608

tuned changelogentry;

wenzelm [Tue, 15 Jul 2008 15:46:43 +0200] rev 27607

refined Output.status_fn: priority (only visible for non-empty output, e.g. via test_markup print mode);

wenzelm [Tue, 15 Jul 2008 15:46:41 +0200] rev 27606

support for command status;

isabelle