isabelle: Changelog

haftmann [Mon, 17 Dec 2007 17:57:48 +0100] rev 25666

improved term syntax

nipkow [Mon, 17 Dec 2007 17:01:54 +0100] rev 25665

removed legacy proofs

krauss [Mon, 17 Dec 2007 11:11:43 +0100] rev 25664

spread NEWS about "induction_scheme" method

kleing [Sun, 16 Dec 2007 22:37:55 +0100] rev 25663

settings for cvs version of poly

wenzelm [Sun, 16 Dec 2007 13:09:37 +0100] rev 25662

tuned comments;

wenzelm [Sun, 16 Dec 2007 13:05:53 +0100] rev 25661

constructor: allow default logic; kill: refer to "isabelle.kill" system property;

wenzelm [Sun, 16 Dec 2007 13:05:07 +0100] rev 25660

constructor: allow default logic;

wenzelm [Sat, 15 Dec 2007 23:55:33 +0100] rev 25659

tuned whitespace;

wenzelm [Sat, 15 Dec 2007 23:54:59 +0100] rev 25658

compose command line according to isabelle.shell/home system properties;

wenzelm [Sat, 15 Dec 2007 23:54:10 +0100] rev 25657

tuned comments;

isabelle