isabelle: Changelog

blanchet [Mon, 01 Feb 2016 19:57:58 +0100] rev 62258

preplaying of 'smt' and 'metis' more in sync with actual method

blanchet [Mon, 01 Feb 2016 23:52:06 +0100] rev 62257

updated HOL-specific section w.r.t. datatypes

wenzelm [Tue, 02 Feb 2016 15:04:39 +0100] rev 62256

proper markup for formal text;

wenzelm [Mon, 01 Feb 2016 16:58:24 +0100] rev 62255

Added tag Isabelle2016-RC3 for changeset 81cbea2babd9

wenzelm [Mon, 01 Feb 2016 14:10:07 +0100] rev 62254

tuned NEWS: long-running tasks can still prevent urgent tasks from being started, due to start_execution pri = 0;

wenzelm [Sun, 31 Jan 2016 19:54:40 +0100] rev 62253

more on "ML debugging within the Prover IDE";

wenzelm [Sun, 31 Jan 2016 13:25:21 +0100] rev 62252

updated to official polyml-5.6;

wenzelm [Fri, 29 Jan 2016 23:08:46 +0100] rev 62251

misc tuning and updates;

wenzelm [Fri, 29 Jan 2016 22:36:57 +0100] rev 62250

misc tuning and updates;

wenzelm [Fri, 29 Jan 2016 21:31:01 +0100] rev 62249

misc tuning;

isabelle