1.1 --- a/NEWS	Sun Mar 13 15:16:37 2011 +0100
     1.2 +++ b/NEWS	Sun Mar 13 16:01:00 2011 +0100
     1.3 @@ -43,6 +43,12 @@
     1.4  subscripted form x\<^isub>1, y\<^isub>2\<^isub>3.
     1.5  
     1.6  
     1.7 +*** ML ***
     1.8 +
     1.9 +* Path.print is the official way to show file-system paths to users
    1.10 +(including quotes etc.).
    1.11 +
    1.12 +
    1.13  
    1.14  New in Isabelle2011 (January 2011)
    1.15  ----------------------------------