isabelle: Changelog

haftmann [Wed, 22 Dec 2010 22:20:57 +0100] rev 41390

full localization with possibly multiple entries; explicit prohibition of fixed type variables

haftmann [Wed, 22 Dec 2010 21:14:57 +0100] rev 41389

tool-compliant mapper declaration

haftmann [Wed, 22 Dec 2010 20:57:13 +0100] rev 41388

more proof contexts; formal declaration

haftmann [Wed, 22 Dec 2010 20:44:36 +0100] rev 41387

mapper is arbitrary term, not only constant; proper backward proofs of derived properties

haftmann [Wed, 22 Dec 2010 20:08:40 +0100] rev 41386

tuned comment

wenzelm [Wed, 22 Dec 2010 14:44:03 +0100] rev 41385

merged

blanchet [Wed, 22 Dec 2010 09:02:43 +0100] rev 41384

made SML/NJ happy

wenzelm [Wed, 22 Dec 2010 13:49:06 +0100] rev 41383

check JVM later, to avoid potential conflict with jEdit splash screen;

wenzelm [Wed, 22 Dec 2010 13:30:58 +0100] rev 41382

explicit JVM check on startup;

wenzelm [Wed, 22 Dec 2010 12:05:17 +0100] rev 41381

more explicit jvm_name;

isabelle