| changeset 41944 | b97091ae583a |
| parent 41886 | aa8dce9ab8a9 |
| child 41950 | 134131d519c0 |
--- a/NEWS Sun Mar 13 15:16:37 2011 +0100 +++ b/NEWS Sun Mar 13 16:01:00 2011 +0100 @@ -43,6 +43,12 @@ subscripted form x\<^isub>1, y\<^isub>2\<^isub>3. +*** ML *** + +* Path.print is the official way to show file-system paths to users +(including quotes etc.). + + New in Isabelle2011 (January 2011) ----------------------------------