changeset 48332 | 5a7903ba2dac |
parent 48324 | 598604c91036 |
child 48333 | 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 ------------------------------------