| changeset 53474 | 077a2758ceb4 |
| parent 53471 | 66df4b76e58f |
| child 54662 | aeb21314d078 |
--- a/Admin/Windows/WinRun4J/README Sun Sep 08 18:37:42 2013 +0200 +++ b/Admin/Windows/WinRun4J/README Sun Sep 08 19:25:06 2013 +0200 @@ -2,3 +2,8 @@ ==================================== * http://winrun4j.sourceforge.net/ + +cp winrun4j/bin/WinRun4J.exe Isabelle.exe +winrun4j/bin/RCEDIT /C Isabelle.exe +winrun4j/bin/RCEDIT /I Isabelle.exe isabelle.ico +