# 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) ----------------------------------