isabelle: Changelog

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;

wenzelm [Sun, 22 Jul 2012 00:00:22 +0200] rev 48422

determine source dependencies, relatively to preloaded theories; tuned signature;

wenzelm [Sat, 21 Jul 2012 22:13:50 +0200] rev 48421

propagate defined options; misc tuning;

isabelle