isabelle: Changelog

blanchet [Mon, 23 Jul 2012 15:32:30 +0200] rev 48432

took out CVC3 again -- there seems to be issues with the server version of CVC3 + minor tweaks

haftmann [Mon, 23 Jul 2012 09:28:03 +0200] rev 48431

restrict unqualified imports from Haskell Prelude to a small set of fundamental operations

haftmann [Mon, 23 Jul 2012 09:26:55 +0200] rev 48430

more correct import

wenzelm [Sun, 22 Jul 2012 23:36:11 +0200] rev 48429

merged

haftmann [Sun, 22 Jul 2012 10:00:51 +0200] rev 48428

NEWS

haftmann [Sun, 22 Jul 2012 09:56:34 +0200] rev 48427

library theories for debugging and parallel computing using code generation towards Isabelle/ML

haftmann [Sat, 21 Jul 2012 20:01:16 +0200] rev 48426

also consider current working directory (cf. 3a5a5a992519)

wenzelm [Sun, 22 Jul 2012 23:31:57 +0200] rev 48425

parallel scheduling of jobs; misc tuning;

wenzelm [Sun, 22 Jul 2012 21:59:14 +0200] rev 48424

tuned;

wenzelm [Sun, 22 Jul 2012 12:26:41 +0200] rev 48423

maintain set of source digests, including relevant parts of session entry;

isabelle