isabelle: Changelog

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;

wenzelm [Wed, 27 Jan 2016 14:14:06 +0100] rev 62248

allow single quote within URL;

wenzelm [Wed, 27 Jan 2016 14:09:58 +0100] rev 62247

proper try_run for exactly one evaluation of body (amending 91c3aedbfc5e);

isabelle