# HG changeset patch
# User blanchet
# Date 1409203816 -7200
# Node ID 96e987003a01e735d339362bf1cfd075cdd56273
# Parent  d1311dd7801256f073fec06a71639bad8f6036e5
moved new para to right section of NEWS

diff -r d1311dd78012 -r 96e987003a01 NEWS
--- 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)
 ---------------------------------