tuned;

--- a/NEWS	Thu Apr 15 20:31:30 2004 +0200
+++ b/NEWS	Thu Apr 15 20:32:33 2004 +0200
@@ -171,6 +171,8 @@
 
 * Streams now come with concatenation and are part of the HOLCF image
 
+
+
 New in Isabelle2003 (May 2003)
 --------------------------------
 
@@ -391,6 +393,7 @@
 textcomp package)
 
 
+
 New in Isabelle2002 (March 2002)
 --------------------------------