isabelle: Changelog

haftmann [Tue, 15 Jul 2008 09:30:39 +0200] rev 27596

dropped map; fixed swap

haftmann [Tue, 15 Jul 2008 07:10:50 +0200] rev 27595

curried gcd

wenzelm [Mon, 14 Jul 2008 23:28:26 +0200] rev 27594

cover macbroy as well; tuned;

wenzelm [Mon, 14 Jul 2008 23:11:20 +0200] rev 27593

tuned filelogentry;

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;

isabelle