| changeset 55311 | aeb21314d078 |
| parent 54611 | 077a2758ceb4 |
| 55310:6ad5242deaa7 | 55311:aeb21314d078 |
|---|---|
3 |
3 |
4 * http://winrun4j.sourceforge.net/ |
4 * http://winrun4j.sourceforge.net/ |
5 |
5 |
6 cp winrun4j/bin/WinRun4J.exe Isabelle.exe |
6 cp winrun4j/bin/WinRun4J.exe Isabelle.exe |
7 winrun4j/bin/RCEDIT /C Isabelle.exe |
7 winrun4j/bin/RCEDIT /C Isabelle.exe |
8 winrun4j/bin/RCEDIT /I Isabelle.exe isabelle.ico |
8 winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico |
9 |
9 |