# HG changeset patch
# User wenzelm
# Date 869227039 -7200
# Node ID 19bd6c8274c40d2a46e1bfd7cdad07be72ee75f0
# Parent  c245c88194ff8eb085b31eae7ddfa2a83bbf62c9
defs may now be conditional;
improved output of warnings / errors;

diff -r c245c88194ff -r 19bd6c8274c4 NEWS
--- 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)
 ------------------------------