# HG changeset patch
# User wenzelm
# Date 856198545 -3600
# Node ID 6efa602921d1bf29bffffa9f84deef17a78a4b67
# Parent  f1a6997cdc0654652149f17395930ad7faa91351
*** empty log message ***

diff -r f1a6997cdc06 -r 6efa602921d1 NEWS
--- a/NEWS	Mon Feb 17 17:24:24 1997 +0100
+++ b/NEWS	Mon Feb 17 17:55:45 1997 +0100
@@ -2,8 +2,9 @@
 Isabelle NEWS -- history of user-visible changes
 ================================================
 
-New in Isabelle94-8 (??????????? 1997 FIXME)
----------------------------------------
+New in Isabelle94-8 (really-soon-now 1997 FIXME)
+------------------------------------------------
+
 * HOLCF changes: derived all rules and arities 
   + axiomatic type classes instead of classes 
   + typedef instead of faking type definitions
@@ -70,8 +71,6 @@
 
 * the NEWS file;
 
-Changes in HOLCF:
-
 
 New in Isabelle94-7 (November 96)
 ---------------------------------