wenzelm [Fri, 22 Feb 2013 17:24:09 +0100] rev 52381
more robust load_timings: ignore XML.Decode errors as well;
wenzelm [Fri, 22 Feb 2013 17:02:16 +0100] rev 52380
make SML/NJ happy;
wenzelm [Fri, 22 Feb 2013 17:02:00 +0100] rev 52379
identify exceptions more robustly, to allow SML/NJ report toplevel errors without crash;
wenzelm [Fri, 22 Feb 2013 16:52:10 +0100] rev 52378
make SML/NJ happy;
wenzelm [Fri, 22 Feb 2013 14:39:12 +0100] rev 52377
updated headers;
wenzelm [Fri, 22 Feb 2013 14:38:52 +0100] rev 52376
eliminated hard tabs;
wenzelm [Fri, 22 Feb 2013 14:25:52 +0100] rev 52375
discontinued obsolete src/HOL/IsaMakefile;
wenzelm [Thu, 21 Feb 2013 18:27:28 +0100] rev 52374
merged
wenzelm [Thu, 21 Feb 2013 18:21:40 +0100] rev 52373
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 52372
merged