# HG changeset patch
# User wenzelm
# Date 1213134595 -7200
# Node ID 574a09bcdb0295f6c8235747f3a5f65d92ab2fa1
# Parent  92e8a38fd8f69c7545c4122d8f058f9c67742b46
tuned spacing;

diff -r 92e8a38fd8f6 -r 574a09bcdb02 NEWS
--- a/NEWS	Tue Jun 10 23:45:53 2008 +0200
+++ b/NEWS	Tue Jun 10 23:49:55 2008 +0200
@@ -45,6 +45,7 @@
 theorems.  Changes in simp rules.  INCOMPATIBILITY.
 
 
+
 New in Isabelle2008 (June 2008)
 -------------------------------