* ML: replaced File.sysify_path/quote_sysify_path by File.platform_path/shell_path;
authorwenzelm
Sun Jun 05 11:31:14 2005 +0200 (2005-06-05)
changeset 16251121dc80d120a
parent 16250 1a91cdebd604
child 16252 8cddc62ed170
* ML: replaced File.sysify_path/quote_sysify_path by File.platform_path/shell_path;
tuned;
NEWS
     1.1 --- a/NEWS	Sun Jun 05 11:31:13 2005 +0200
     1.2 +++ b/NEWS	Sun Jun 05 11:31:14 2005 +0200
     1.3 @@ -453,6 +453,11 @@
     1.4  Simplifier.get_local_simpset and Classical.get_local_claset,
     1.5  respectively, in order to see the context dependent fields!
     1.6  
     1.7 +* File.sysify_path and File.quote_sysify path have been replaced by
     1.8 +File.platform_path and File.shell_path (with appropriate hooks).  This
     1.9 +provides a clean interface for unusual systems where the internal and
    1.10 +external process view of file names are different.
    1.11 +
    1.12  
    1.13  *** System ***
    1.14  
    1.15 @@ -465,7 +470,10 @@
    1.16  * isatool usedir: option -f allows specification of the ML file to be
    1.17  used by Isabelle; default is ROOT.ML.
    1.18  
    1.19 -* HOL: isatool dimacs2hol converts files in DIMACS CNF format
    1.20 +* New isatool version outputs the version identifier of the Isabelle
    1.21 +distribution being used.
    1.22 +
    1.23 +* HOL: new isatool dimacs2hol converts files in DIMACS CNF format
    1.24  (containing Boolean satisfiability problems) into Isabelle/HOL
    1.25  theories.
    1.26