NEWS

--- a/NEWS	Sat Apr 14 11:46:35 2012 +0200
+++ b/NEWS	Sat Apr 14 12:36:11 2012 +0200
@@ -664,6 +664,12 @@
   delsplits     ~> Splitter.del_split
 
 
+*** System ***
+
+* ISABELLE_HOME_WINDOWS refers to ISABELLE_HOME in windows file name
+notation, which is useful for the jEdit file browser, for example.
+
+
 
 New in Isabelle2011-1 (October 2011)
 ------------------------------------