NEWS
changeset 47461 5a7903ba2dac
parent 47453 598604c91036
child 47462 8f85051693d1
     1.1 --- a/NEWS	Sat Apr 14 11:46:35 2012 +0200
     1.2 +++ b/NEWS	Sat Apr 14 12:36:11 2012 +0200
     1.3 @@ -664,6 +664,12 @@
     1.4    delsplits     ~> Splitter.del_split
     1.5  
     1.6  
     1.7 +*** System ***
     1.8 +
     1.9 +* ISABELLE_HOME_WINDOWS refers to ISABELLE_HOME in windows file name
    1.10 +notation, which is useful for the jEdit file browser, for example.
    1.11 +
    1.12 +
    1.13  
    1.14  New in Isabelle2011-1 (October 2011)
    1.15  ------------------------------------