# HG changeset patch
# User haftmann
# Date 1285680836 -7200
# Node ID 553f9b9aed28caa827bc142fd523b01b8bcf1f9a
# Parent  d46cbac5bd827702aba492b6fd5f2538b4e5c4b8
NEWS

diff -r d46cbac5bd82 -r 553f9b9aed28 NEWS
--- a/NEWS	Tue Sep 28 15:32:59 2010 +0200
+++ b/NEWS	Tue Sep 28 15:33:56 2010 +0200
@@ -74,10 +74,12 @@
 
 *** HOL ***
 
+* Dropped old primrec package.  INCOMPATIBILITY.
+
 * Improved infrastructure for term evaluation using code generator
 techniques, in particular static evaluation conversions.
 
-* String.literal is a type, but not a datatype. INCOMPATIBILITY.
+* String.literal is a type, but not a datatype.  INCOMPATIBILITY.
  
 * Renamed lemmas:
   expand_fun_eq -> fun_eq_iff