# HG changeset patch
# User wenzelm
# Date 1117963874 -7200
# Node ID 121dc80d120a6e52b5ca61259244df158763f00e
# Parent  1a91cdebd6045de00eeea2a5902225ef574e4279
* ML: replaced File.sysify_path/quote_sysify_path by File.platform_path/shell_path;
tuned;

diff -r 1a91cdebd604 -r 121dc80d120a NEWS
--- a/NEWS	Sun Jun 05 11:31:13 2005 +0200
+++ b/NEWS	Sun Jun 05 11:31:14 2005 +0200
@@ -453,6 +453,11 @@
 Simplifier.get_local_simpset and Classical.get_local_claset,
 respectively, in order to see the context dependent fields!
 
+* File.sysify_path and File.quote_sysify path have been replaced by
+File.platform_path and File.shell_path (with appropriate hooks).  This
+provides a clean interface for unusual systems where the internal and
+external process view of file names are different.
+
 
 *** System ***
 
@@ -465,7 +470,10 @@
 * isatool usedir: option -f allows specification of the ML file to be
 used by Isabelle; default is ROOT.ML.
 
-* HOL: isatool dimacs2hol converts files in DIMACS CNF format
+* New isatool version outputs the version identifier of the Isabelle
+distribution being used.
+
+* HOL: new isatool dimacs2hol converts files in DIMACS CNF format
 (containing Boolean satisfiability problems) into Isabelle/HOL
 theories.