isabelle: Changelog

wenzelm [Mon, 04 Jan 2010 22:19:14 +0100] rev 34256

added Cygwin "make" package;

wenzelm [Mon, 04 Jan 2010 22:16:48 +0100] rev 34255

discontinued old ISABELLE and ISATOOL environment settings;

wenzelm [Mon, 04 Jan 2010 21:49:47 +0100] rev 34254

shell functions "isabelle-process" and "isabelle" refer to the proper executables statically -- for interactive use or sloppy bash scripts;

wenzelm [Mon, 04 Jan 2010 20:25:56 +0100] rev 34253

removed further remains of mutable theory data (cf. 25bd3ed2ac9f);

wenzelm [Mon, 04 Jan 2010 19:44:46 +0100] rev 34252

merged

haftmann [Mon, 04 Jan 2010 16:00:24 +0100] rev 34251

code cache only persists on equal theories

haftmann [Mon, 04 Jan 2010 16:00:23 +0100] rev 34250

moved name duplicates to end of theory; reduced warning noise

haftmann [Mon, 04 Jan 2010 14:10:13 +0100] rev 34249

merged

haftmann [Mon, 04 Jan 2010 14:09:58 +0100] rev 34248

modernized

haftmann [Mon, 04 Jan 2010 14:09:57 +0100] rev 34247

added applify combinator

isabelle