--- 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 ***