isabelle: Changelog

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;

haftmann [Mon, 14 Jul 2008 19:20:57 +0200] rev 27582

dropped junk

haftmann [Mon, 14 Jul 2008 19:20:29 +0200] rev 27581

moved bootstrap of simplifier

haftmann [Mon, 14 Jul 2008 19:20:28 +0200] rev 27580

tuned

isabelle