isabelle: Changelog

wenzelm [Fri, 22 Feb 2013 16:52:10 +0100] rev 51241

make SML/NJ happy;

wenzelm [Fri, 22 Feb 2013 14:39:12 +0100] rev 51240

updated headers;

wenzelm [Fri, 22 Feb 2013 14:38:52 +0100] rev 51239

eliminated hard tabs;

wenzelm [Fri, 22 Feb 2013 14:25:52 +0100] rev 51238

discontinued obsolete src/HOL/IsaMakefile;

wenzelm [Thu, 21 Feb 2013 18:27:28 +0100] rev 51237

merged

wenzelm [Thu, 21 Feb 2013 18:21:40 +0100] rev 51236

more explicit session dependency, for improved parallel performance of HOL-UNITY test session -- NB: separate 'theories' sections are sequential;

wenzelm [Thu, 21 Feb 2013 16:00:48 +0100] rev 51235

merged

wenzelm [Thu, 21 Feb 2013 15:35:09 +0100] rev 51234

removed obsolete tags;

wenzelm [Thu, 21 Feb 2013 10:52:14 +0100] rev 51233

highest priority for proofs with unknown / very short timing -- recover original scheduling with parallel_proofs_reuse_timing = false;

blanchet [Thu, 21 Feb 2013 16:36:19 +0100] rev 51232

tuned misleading message

isabelle