# HG changeset patch
# User haftmann
# Date 1276509690 -7200
# Node ID 6167695009ade9fa01d2e73f0e2ad0da4eeda00d
# Parent  6d19e4e6ebf5c9bb812e81d37e6647f1ec3c4b3a
NEWS

diff -r 6d19e4e6ebf5 -r 6167695009ad NEWS
--- a/NEWS	Mon Jun 14 10:50:49 2010 +0200
+++ b/NEWS	Mon Jun 14 12:01:30 2010 +0200
@@ -25,6 +25,13 @@
 
 INCOMPATIBILITY.
 
+* Datatype package: theorems generated for executable equality
+(class eq) carry proper names and are treated as default code
+equations.
+
+* List.thy: use various operations from the Haskell prelude when
+generating Haskell code.
+
 
 New in Isabelle2009-2 (June 2010)
 ---------------------------------