path element specification '~~' refers to '$ISABELLE_HOME';

--- a/NEWS	Mon Feb 08 15:55:35 1999 +0100
+++ b/NEWS	Mon Feb 08 17:29:08 1999 +0100
@@ -31,7 +31,10 @@
 * in locales, the "assumes" and "defines" parts may be omitted if empty;
 
 * new print_mode "xsymbols" for extended symbol support 
-  (e.g. genuiely long arrows)
+  (e.g. genuiene long arrows);
+
+* path element specification '~~' refers to '$ISABELLE_HOME';
+
 
 *** HOL ***