cd, use etc. now support path variables;
changed Pure/Sequence interface;

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