# HG changeset patch
# User wenzelm
# Date 1386262975 -3600
# Node ID 748778ac0ab869c4b454e9bab3a6f000f12406ae
# Parent  d64a4ef26edbaeac0ea1d11aecd342382664f7c8
relocate NEWS to post-release version (cf. 7a14f831d02d);

diff -r d64a4ef26edb -r 748778ac0ab8 NEWS
--- a/NEWS	Thu Dec 05 17:58:03 2013 +0100
+++ b/NEWS	Thu Dec 05 18:02:55 2013 +0100
@@ -84,6 +84,11 @@
 shows up as additional case in fixpoint induction proofs.
 INCOMPATIBILITY
 
+* Nitpick:
+  - Fixed soundness bug whereby mutually recursive datatypes could take
+    infinite values.
+
+
 *** ML ***
 
 * Toplevel function "use" refers to raw ML bootstrap environment,
@@ -549,10 +554,6 @@
     sets ~> set
 IMCOMPATIBILITY.
 
-* Nitpick:
-  - Fixed soundness bug whereby mutually recursive datatypes could take
-    infinite values.
-
 
 *** ML ***