1 Java application wrapper for Windows
2 ====================================
4 * http://winrun4j.sourceforge.net/
6 cp winrun4j/bin/WinRun4J.exe Isabelle.exe
7 winrun4j/bin/RCEDIT /C Isabelle.exe
8 winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico