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