| author | wenzelm |
| Sun, 01 Dec 2013 16:01:03 +0100 | |
| changeset 55311 | aeb21314d078 |
| parent 54611 | 077a2758ceb4 |
| permissions | -rw-r--r-- |
| wenzelm@54608 | 1 |
Java application wrapper for Windows |
| wenzelm@54608 | 2 |
==================================== |
| wenzelm@54608 | 3 |
|
| wenzelm@54608 | 4 |
* http://winrun4j.sourceforge.net/ |
| wenzelm@54611 | 5 |
|
| wenzelm@54611 | 6 |
cp winrun4j/bin/WinRun4J.exe Isabelle.exe |
| wenzelm@54611 | 7 |
winrun4j/bin/RCEDIT /C Isabelle.exe |
| wenzelm@55311 | 8 |
winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico |
| wenzelm@54611 | 9 |