isabelle: Changelog

wenzelm [Wed, 09 Dec 2009 16:28:49 +0100] rev 34043

more robust Cygwin.config: actually check Wow6432Node, prefer explicit CYGWIN_ROOT in any case;

blanchet [Wed, 09 Dec 2009 12:26:42 +0100] rev 34042

merged

blanchet [Wed, 09 Dec 2009 12:03:27 +0100] rev 34041

merged

blanchet [Tue, 08 Dec 2009 18:40:20 +0100] rev 34040

merged

blanchet [Tue, 08 Dec 2009 18:38:08 +0100] rev 34039

made Nitpick work also for people who import "Plain" instead of "Main"

blanchet [Mon, 07 Dec 2009 13:40:45 +0100] rev 34038

make Nitpick output the message "Hint: Maybe you forgot a type constraint?" only for syntactic classes

wenzelm [Wed, 09 Dec 2009 12:07:44 +0100] rev 34037

keep future Isabelle application entry point;

wenzelm [Wed, 09 Dec 2009 11:53:51 +0100] rev 34036

merged

boehmes [Tue, 08 Dec 2009 23:05:23 +0100] rev 34035

also consider the fully-typed version of metis for Mirabelle measurements

boehmes [Tue, 08 Dec 2009 18:47:25 +0100] rev 34034

merged

isabelle