--- a/NEWS Tue Aug 19 16:46:33 2014 +0200
+++ b/NEWS Tue Aug 19 18:21:29 2014 +0200
@@ -52,6 +52,12 @@
min
+*** ML ***
+
+* Tactical PARALLEL_ALLGOALS is the most common way to refer to
+PARALLEL_GOALS.
+
+
New in Isabelle2014 (August 2014)
---------------------------------