# HG changeset patch
# User wenzelm
# Date 1195563563 -3600
# Node ID 3ac96dde7f311d8de44d4fb4e9ea8ab56beaec25
# Parent  880419e63924bb2594303b7372185c9d23ba5b2e
tuned spacing;

diff -r 880419e63924 -r 3ac96dde7f31 NEWS
--- a/NEWS	Tue Nov 20 13:55:13 2007 +0100
+++ b/NEWS	Tue Nov 20 13:59:23 2007 +0100
@@ -1428,6 +1428,7 @@
 Implementation manual.
 
 
+
 New in Isabelle2005 (October 2005)
 ----------------------------------