--- a/NEWS Tue Aug 19 16:46:07 2014 +0200
+++ b/NEWS Tue Aug 19 17:00:44 2014 +0200
@@ -23,6 +23,12 @@
min
+*** ML ***
+
+* Tactical PARALLEL_ALLGOALS is the most common way to refer to
+PARALLEL_GOALS.
+
+
New in Isabelle2014 (August 2014)
---------------------------------