defs may now be conditional;
improved output of warnings / errors;

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