Admin/Windows/WinRun4J/README
author wenzelm
Mon Aug 18 12:15:11 2014 +0200 (2014-08-18)
changeset 57977 113b43b84412
parent 54662 aeb21314d078
permissions -rw-r--r--
updated to jdk-7u67;
     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