wenzelm [Thu, 16 Mar 2017 23:27:29 +0100] rev 65280
prefer non-strict default;
wenzelm [Thu, 16 Mar 2017 23:26:16 +0100] rev 65279
clarified signature (again, see also 3ed43cfc8b14);
wenzelm [Thu, 16 Mar 2017 21:22:01 +0100] rev 65278
tuned signature;
wenzelm [Thu, 16 Mar 2017 21:09:13 +0100] rev 65277
tuned;
wenzelm [Thu, 16 Mar 2017 12:00:40 +0100] rev 65276
tuned comments;
wenzelm [Thu, 16 Mar 2017 11:25:09 +0100] rev 65275
clarified message: exception output usally happens in a context without extra newline;
paulson <lp15@cam.ac.uk> [Thu, 16 Mar 2017 16:02:18 +0000] rev 65274
Removed [simp] status for Complex_eq. Also tidied some proofs
paulson <lp15@cam.ac.uk> [Thu, 16 Mar 2017 13:55:29 +0000] rev 65273
Removal of [simp] status for greaterThan_0. Moved two theorems into main HOL.
wenzelm [Wed, 15 Mar 2017 21:52:04 +0100] rev 65272
always output proof state: there is only one output buffer in Isabelle/VSCode;
wenzelm [Wed, 15 Mar 2017 20:39:23 +0100] rev 65271
updated package;
wenzelm [Wed, 15 Mar 2017 19:46:19 +0100] rev 65270
merged
wenzelm [Wed, 15 Mar 2017 19:39:34 +0100] rev 65269
unused;
wenzelm [Wed, 15 Mar 2017 19:33:34 +0100] rev 65268
misc tuning and modernization;
wenzelm [Wed, 15 Mar 2017 17:24:48 +0100] rev 65267
clarified message;
wenzelm [Wed, 15 Mar 2017 16:58:52 +0100] rev 65266
keep PIDE.plugin for the sake of still open dockables etc. -- jEdit exits these *after* the stop operation;
wenzelm [Wed, 15 Mar 2017 16:55:37 +0100] rev 65265
keep style extender for the sake of potentially remaining token markers;