isabelle: Changelog

wenzelm [Thu, 25 Feb 2016 00:35:17 +0100] rev 62406

tuned signature;

wenzelm [Thu, 25 Feb 2016 00:27:57 +0100] rev 62405

proper return code for timeout (amending f868f12f9419);

wenzelm [Thu, 25 Feb 2016 00:18:48 +0100] rev 62404

retain tail out_lines as printed, but not the whole log content;

wenzelm [Thu, 25 Feb 2016 00:06:37 +0100] rev 62403

explicit class Build_Results; cancelled sessions have rc = 1 (again);

wenzelm [Wed, 24 Feb 2016 23:36:45 +0100] rev 62402

more informative Build.build_results; tuned signature;

wenzelm [Wed, 24 Feb 2016 22:40:19 +0100] rev 62401

more informative Process_Result; tuned;

wenzelm [Wed, 24 Feb 2016 22:11:28 +0100] rev 62400

clarified modules;

wenzelm [Wed, 24 Feb 2016 22:03:24 +0100] rev 62399

tuned signature;

paulson <lp15@cam.ac.uk> [Wed, 24 Feb 2016 16:00:57 +0000] rev 62398

Merge

paulson <lp15@cam.ac.uk> [Wed, 24 Feb 2016 15:51:01 +0000] rev 62397

Substantial new material for multivariate analysis. Also removal of some duplicates.

isabelle