--- a/NEWS Thu Aug 28 00:40:38 2014 +0200
+++ b/NEWS Thu Aug 28 07:30:16 2014 +0200
@@ -54,12 +54,6 @@
Removed subcommand:
min
-
-*** ML ***
-
-* Tactical PARALLEL_ALLGOALS is the most common way to refer to
-PARALLEL_GOALS.
-
* Old and new SMT modules:
- The old 'smt' command has been renamed 'old_smt' and moved to
'src/HOL/Library/Old_SMT.thy'. It provided for compatibility, until
@@ -72,6 +66,12 @@
INCOMPATIBILITY.
+*** ML ***
+
+* Tactical PARALLEL_ALLGOALS is the most common way to refer to
+PARALLEL_GOALS.
+
+
New in Isabelle2014 (August 2014)
---------------------------------