allow symlinks to all proper Isabelle executables;
authorwenzelm
Tue, 26 Apr 2005 19:53:19 +0200
changeset 15852 4f1a78454452
parent 15851 6b445e021bc8
child 15853 68b615bc110e
allow symlinks to all proper Isabelle executables; isabelle-process: Poly/ML no longer needs Perl to run an interactive session;
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 ***