# HG changeset patch
# User wenzelm
# Date 881842506 -3600
# Node ID c54f2e3423f2c568697a30f08d371a565c7f314f
# Parent  31d5a5a191e84a1ae48485e5c8318d0d863db686
tuned;

diff -r 31d5a5a191e8 -r c54f2e3423f2 NEWS
--- a/NEWS	Thu Dec 11 10:30:33 1997 +0100
+++ b/NEWS	Thu Dec 11 13:15:06 1997 +0100
@@ -48,7 +48,7 @@
 * print_goals: optional output of const types (set show_consts and
 show_types);
 
-* improved output of warnings (###) / errors (***);
+* improved output of warnings (###) and errors (***);
 
 * subgoal_tac displays a warning if the new subgoal has type variables;
 
@@ -61,8 +61,8 @@
 * deleted the obsolete tactical STATE, which was declared by
     fun STATE tacfun st = tacfun st st;
 
-* cd, use, use etc. now support path variables, e.g. ~ (which
-abbreviates $HOME), or $ISABELLE_HOME;
+* cd and use now support path variables, e.g. $ISABELLE_HOME, or ~
+(which abbreviates $HOME);
 
 * changed Pure/Sequence interface (see Pure/seq.ML); COMPATIBILITY:
 use isatool fixseq to adapt your ML programs (this works for fully