# HG changeset patch
# User wenzelm
# Date 970144580 -7200
# Node ID 4e446f8cef3ed3603ef78ed915b50e82191f4546
# Parent  3c21a2e616e7ea0a9b152752d54782a5f7092500
Isabelle99-1 (October 2000);

diff -r 3c21a2e616e7 -r 4e446f8cef3e NEWS
--- a/NEWS	Thu Sep 28 14:36:02 2000 +0200
+++ b/NEWS	Thu Sep 28 14:36:20 2000 +0200
@@ -2,8 +2,8 @@
 Isabelle NEWS -- history user-relevant changes
 ==============================================
 
-New in Isabelle99-1 (September 2000)
-------------------------------------
+New in Isabelle99-1 (October 2000)
+----------------------------------
 
 *** Overview of INCOMPATIBILITIES ***