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