Admin/Windows/WinRun4J/README
author wenzelm
Sun Dec 01 16:01:03 2013 +0100 (2013-12-01)
changeset 54662 aeb21314d078
parent 53474 077a2758ceb4
permissions -rw-r--r--
prefer transparent application icon (like Mac OS X);
     1 Java application wrapper for Windows
     2 ====================================
     3 
     4 * http://winrun4j.sourceforge.net/
     5 
     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
     9