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