# HG changeset patch
# User wenzelm
# Date 918491348 -3600
# Node ID 488bdc1bd11a07f78c2c99833fed2940b2d46170
# Parent  1f85c03fb3dfb3d8021eaa61ad01c99d75128de1
path element specification '~~' refers to '$ISABELLE_HOME';

diff -r 1f85c03fb3df -r 488bdc1bd11a NEWS
--- 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 ***