1.1 --- a/Admin/Windows/WinRun4J/README	Sun Dec 01 14:09:33 2013 +0100
     1.2 +++ b/Admin/Windows/WinRun4J/README	Sun Dec 01 16:01:03 2013 +0100
     1.3 @@ -5,5 +5,5 @@
     1.4  
     1.5  cp winrun4j/bin/WinRun4J.exe Isabelle.exe
     1.6  winrun4j/bin/RCEDIT /C Isabelle.exe
     1.7 -winrun4j/bin/RCEDIT /I Isabelle.exe isabelle.ico
     1.8 +winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico
     1.9