--- a/NEWS Fri Jul 18 13:55:09 1997 +0200
+++ b/NEWS Fri Jul 18 13:57:19 1997 +0200
@@ -9,6 +9,10 @@
* removed obsolete init_pps and init_database;
+* defs may now be conditional;
+
+* improved output of warnings / errors;
+
New in Isabelle94-8 (May 1997)
------------------------------