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;
wenzelm@53471
     1
Java application wrapper for Windows
wenzelm@53471
     2
====================================
wenzelm@53471
     3
wenzelm@53471
     4
* http://winrun4j.sourceforge.net/
wenzelm@53474
     5
wenzelm@53474
     6
cp winrun4j/bin/WinRun4J.exe Isabelle.exe
wenzelm@53474
     7
winrun4j/bin/RCEDIT /C Isabelle.exe
wenzelm@54662
     8
winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico
wenzelm@53474
     9