wenzelm [Wed, 16 Jul 2008 11:20:24 +0200] rev 27616
export type id with no_id and create_command;
basic support for editor model: insert_command, remove_command;
refined command status;
misc tuning;
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);