isabelle: Changelog

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;

wenzelm [Tue, 15 Jul 2008 14:15:49 +0200] rev 27605

added status channel; writeln_default: suppress empty messages;

wenzelm [Tue, 15 Jul 2008 14:15:43 +0200] rev 27604

added status channel;

wenzelm [Tue, 15 Jul 2008 12:13:14 +0200] rev 27603

tuned;

wenzelm [Tue, 15 Jul 2008 11:50:04 +0200] rev 27602

simplified commit_exit;

wenzelm [Tue, 15 Jul 2008 11:50:03 +0200] rev 27601

simplified commit_exit: operate on previous node of final state, include warning here; misc tuning;

wenzelm [Tue, 15 Jul 2008 11:50:02 +0200] rev 27600

removed obsolete commit_exit;

isabelle