changeset 54662 | aeb21314d078 |
parent 53474 | 077a2758ceb4 |
--- a/Admin/Windows/WinRun4J/README Sun Dec 01 14:09:33 2013 +0100 +++ b/Admin/Windows/WinRun4J/README Sun Dec 01 16:01:03 2013 +0100 @@ -5,5 +5,5 @@ cp winrun4j/bin/WinRun4J.exe Isabelle.exe winrun4j/bin/RCEDIT /C Isabelle.exe -winrun4j/bin/RCEDIT /I Isabelle.exe isabelle.ico +winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico