# HG changeset patch
# User wenzelm
# Date 1114537999 -7200
# Node ID 4f1a78454452349826a98066c54a0aa887cdba74
# Parent  6b445e021bc8f441e0b1bd4f332cc812cf66d0c6
allow symlinks to all proper Isabelle executables;
isabelle-process: Poly/ML no longer needs Perl to run an interactive session;

diff -r 6b445e021bc8 -r 4f1a78454452 NEWS
--- a/NEWS	Tue Apr 26 19:52:17 2005 +0200
+++ b/NEWS	Tue Apr 26 19:53:19 2005 +0200
@@ -344,18 +344,21 @@
 
 *** System ***
 
-* HOL: isatool dimacs2hol converts files in DIMACS CNF format
-  (containing Boolean satisfiability problems) into Isabelle/HOL
-  theories.
+* Allow symlinks to all proper Isabelle executables (Isabelle,
+  isabelle, isatool etc.).
+
+* isabelle-process: Poly/ML no longer needs Perl to run an interactive
+  session.
+
+* ISABELLE_DOC_FORMAT setting specifies preferred document format (for
+  isatool doc, isatool mkdir, display_drafts etc.).
 
 * 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.).
+* HOL: isatool dimacs2hol converts files in DIMACS CNF format
+  (containing Boolean satisfiability problems) into Isabelle/HOL
+  theories.
 
 
 *** ML ***