isabelle: Changelog

haftmann [Fri, 11 Jul 2008 09:02:27 +0200] rev 27544

improved code generator setup

haftmann [Fri, 11 Jul 2008 09:02:26 +0200] rev 27543

explicit dependency

haftmann [Fri, 11 Jul 2008 09:02:24 +0200] rev 27542

class instead of axclass

haftmann [Fri, 11 Jul 2008 09:02:23 +0200] rev 27541

tuned import

haftmann [Fri, 11 Jul 2008 09:02:22 +0200] rev 27540

separate class dvd for divisibility predicate

kleing [Fri, 11 Jul 2008 00:35:19 +0200] rev 27539

temporarily disable at-sml-dev-p

wenzelm [Thu, 10 Jul 2008 22:47:26 +0200] rev 27538

updated generated file;

wenzelm [Thu, 10 Jul 2008 21:12:34 +0200] rev 27537

restart: Isar.init_point;

wenzelm [Thu, 10 Jul 2008 21:03:47 +0200] rev 27536

proper_inform_file_processed: Isar.init_point starts fresh command sequence;

wenzelm [Thu, 10 Jul 2008 20:54:00 +0200] rev 27535

activated new versions of undo, kill_proof;

isabelle