# HG changeset patch
# User wenzelm
# Date 880122382 -3600
# Node ID a045600f0c9861d5e247435818b8f31dafa27420
# Parent  90779455c9a78627fd84945ba58f3336462cf941
cd, use etc. now support path variables;
changed Pure/Sequence interface;

diff -r 90779455c9a7 -r a045600f0c98 NEWS
--- a/NEWS	Fri Nov 21 13:54:31 1997 +0100
+++ b/NEWS	Fri Nov 21 15:26:22 1997 +0100
@@ -61,6 +61,14 @@
 * 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;
+
+* changed Pure/Sequence interface (see Pure/seq.ML); COMPATIBILITY:
+use isatool fixseq to adapt your ML programs (this works for fully
+qualified references to the Sequence structure only!);
+
+
 
 *** Classical Reasoner ***