allow symlinks to all proper Isabelle executables;
authorwenzelm
Tue Apr 26 19:53:19 2005 +0200 (2005-04-26)
changeset 158524f1a78454452
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
     1.1 --- a/NEWS	Tue Apr 26 19:52:17 2005 +0200
     1.2 +++ b/NEWS	Tue Apr 26 19:53:19 2005 +0200
     1.3 @@ -344,18 +344,21 @@
     1.4  
     1.5  *** System ***
     1.6  
     1.7 -* HOL: isatool dimacs2hol converts files in DIMACS CNF format
     1.8 -  (containing Boolean satisfiability problems) into Isabelle/HOL
     1.9 -  theories.
    1.10 +* Allow symlinks to all proper Isabelle executables (Isabelle,
    1.11 +  isabelle, isatool etc.).
    1.12 +
    1.13 +* isabelle-process: Poly/ML no longer needs Perl to run an interactive
    1.14 +  session.
    1.15 +
    1.16 +* ISABELLE_DOC_FORMAT setting specifies preferred document format (for
    1.17 +  isatool doc, isatool mkdir, display_drafts etc.).
    1.18  
    1.19  * isatool usedir: option -f allows specification of the ML file to be
    1.20    used by Isabelle; default is ROOT.ML.
    1.21  
    1.22 -* symlinks to Isabelle, isabelle, isabelle-interface and isabelle-process
    1.23 -  are allowed; isabelle directories are determined based on link target.
    1.24 -
    1.25 -* ISABELLE_DOC_FORMAT setting specifies preferred document format (for
    1.26 -  isatool doc, isatool mkdir, display_drafts etc.).
    1.27 +* HOL: isatool dimacs2hol converts files in DIMACS CNF format
    1.28 +  (containing Boolean satisfiability problems) into Isabelle/HOL
    1.29 +  theories.
    1.30  
    1.31  
    1.32  *** ML ***