NEWS

--- a/NEWS	Wed Apr 20 00:45:54 2005 +0200
+++ b/NEWS	Wed Apr 20 14:18:33 2005 +0200
@@ -344,6 +344,9 @@
 * isatool usedir: option -f allows specification of the ML file to be
   used by Isabelle; default is ROOT.ML.
 
+* symlinks to Isabelle, isabelle, isabelle-interface and isabelle-process
+  are allowed; isabelle directories are determined based on link target.
+
 * ISABELLE_DOC_FORMAT setting specifies preferred document format (for
   isatool doc, isatool mkdir, display_drafts etc.).