# HG changeset patch
# User wenzelm
# Date 1082053953 -7200
# Node ID 1408d312d3a99e5ede3e5cb034c8e1ac3bb6b06d
# Parent  b88d5f9e02e112a983884d056b6ca471b383b94e
tuned;

diff -r b88d5f9e02e1 -r 1408d312d3a9 NEWS
--- 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)
 --------------------------------