isabelle: Changelog

wenzelm [Mon, 14 Jul 2008 22:55:48 +0200] rev 27592

print_mode "test_markup": do not change prompt, otherwise Proof General will not work;

wenzelm [Mon, 14 Jul 2008 22:26:53 +0200] rev 27591

tuned message;

wenzelm [Mon, 14 Jul 2008 22:09:08 +0200] rev 27590

updated generated file;

wenzelm [Mon, 14 Jul 2008 21:39:08 +0200] rev 27589

inform_file_processed: Isar.init_point last!

wenzelm [Mon, 14 Jul 2008 21:07:57 +0200] rev 27588

removed HOL-Complex, which has been discontinued after Isabelle2008;

wenzelm [Mon, 14 Jul 2008 19:59:58 +0200] rev 27587

added HOL-Nominal image;

wenzelm [Mon, 14 Jul 2008 19:57:14 +0200] rev 27586

removed obsolete Pure/General/history.ML;

wenzelm [Mon, 14 Jul 2008 19:57:13 +0200] rev 27585

inform_file_processed: try harder not to fail, ensure

wenzelm [Mon, 14 Jul 2008 19:57:11 +0200] rev 27584

commit_exit: proper error;

wenzelm [Mon, 14 Jul 2008 19:57:09 +0200] rev 27583

export EXCURSION_FAIL;

isabelle