moved new para to right section of NEWS
authorblanchet
Thu Aug 28 07:30:16 2014 +0200 (2014-08-28)
changeset 5806696e987003a01
parent 58065 d1311dd78012
child 58067 a7a0af643499
moved new para to right section of NEWS
NEWS
     1.1 --- a/NEWS	Thu Aug 28 00:40:38 2014 +0200
     1.2 +++ b/NEWS	Thu Aug 28 07:30:16 2014 +0200
     1.3 @@ -54,12 +54,6 @@
     1.4      Removed subcommand:
     1.5        min
     1.6  
     1.7 -
     1.8 -*** ML ***
     1.9 -
    1.10 -* Tactical PARALLEL_ALLGOALS is the most common way to refer to
    1.11 -PARALLEL_GOALS.
    1.12 -
    1.13  * Old and new SMT modules:
    1.14    - The old 'smt' command has been renamed 'old_smt' and moved to
    1.15      'src/HOL/Library/Old_SMT.thy'. It provided for compatibility, until
    1.16 @@ -72,6 +66,12 @@
    1.17      INCOMPATIBILITY.
    1.18  
    1.19  
    1.20 +*** ML ***
    1.21 +
    1.22 +* Tactical PARALLEL_ALLGOALS is the most common way to refer to
    1.23 +PARALLEL_GOALS.
    1.24 +
    1.25 +
    1.26  
    1.27  New in Isabelle2014 (August 2014)
    1.28  ---------------------------------