# HG changeset patch
# User haftmann
# Date 1261553474 -3600
# Node ID 254ac75e4c383adba96967e1eb9091b053672b19
# Parent  5da0f7abbe291fc9afc0ccd6eb99bfa05dbd1a07
reduced code generator cache to the baremost minimum; corrected spelling

diff -r 5da0f7abbe29 -r 254ac75e4c38 NEWS
--- a/NEWS	Mon Dec 21 08:32:22 2009 +0100
+++ b/NEWS	Wed Dec 23 08:31:14 2009 +0100
@@ -4,6 +4,12 @@
 New in this Isabelle version
 ----------------------------
 
+*** Pure ***
+
+* Code generator: details of internal data cache have no impact on
+the user space functionality any longer.
+
+
 *** HOL ***
 
 * Reorganized theory Sum_Type.thy; Inl and Inr now have
@@ -13,7 +19,7 @@
 
 * Complete_Lattice.thy: lemmas top_def and bot_def have been replaced
 by the more convenient lemmas Inf_empty and Sup_empty.  Dropped lemmas
-Inf_insert_simp adn Sup_insert_simp, which are subsumed by Inf_insert
+Inf_insert_simp and Sup_insert_simp, which are subsumed by Inf_insert
 and Sup_insert.  Lemmas Inf_UNIV and Sup_UNIV replace former Inf_Univ
 and Sup_Univ.  Lemmas inf_top_right and sup_bot_right subsume inf_top
 and sup_bot respectively.  INCOMPATIBILITY.