isabelle: Changelog

wenzelm [Mon, 15 Feb 2010 17:17:51 +0100] rev 35129

discontinued unnamed infix syntax;

wenzelm [Mon, 15 Feb 2010 15:50:41 +0100] rev 35128

eliminated unnamed infixes;

haftmann [Mon, 15 Feb 2010 14:04:06 +0100] rev 35127

apply global morphism for theory, instantiation and overloading target; n.b. target morphism and global morphism coincide for theory target

haftmann [Mon, 15 Feb 2010 14:04:06 +0100] rev 35126

clarifed type

boehmes [Sun, 14 Feb 2010 17:46:28 +0100] rev 35125

optionally localize assertion labels (based on user-defined offsets) to reduce the effort of label adaptions after changes to the source program

wenzelm [Sun, 14 Feb 2010 00:26:48 +0100] rev 35124

formal markup of constants;

wenzelm [Sat, 13 Feb 2010 23:24:57 +0100] rev 35123

modernized structures;

wenzelm [Sat, 13 Feb 2010 23:16:06 +0100] rev 35122

authentic proof syntax;

haftmann [Fri, 12 Feb 2010 14:28:01 +0100] rev 35121

tuned import order

haftmann [Fri, 12 Feb 2010 09:49:28 +0100] rev 35120

tuned comments

isabelle