# HG changeset patch
# User wenzelm
# Date 942316051 -3600
# Node ID c29e27ee4933c67e06e0d81778303ec48b7d74ef
# Parent  299127ded09d53ecfeca4ca72533199b98006598
header;

diff -r 299127ded09d -r c29e27ee4933 NEWS
--- a/NEWS	Thu Nov 11 10:25:29 1999 +0100
+++ b/NEWS	Thu Nov 11 11:27:31 1999 +0100
@@ -2,6 +2,10 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
+New in this Isabelle version
+----------------------------
+
+
 New in Isabelle99 (October 1999)
 --------------------------------