Admin/Windows/WinRun4J/README
author wenzelm
Tue, 31 Mar 2015 22:31:05 +0200
changeset 59886 e0dc738eb08c
parent 54662 aeb21314d078
permissions -rw-r--r--
support for explicit scope of private entries;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
53471
66df4b76e58f updated to WinRun4J;
wenzelm
parents:
diff changeset
     1
Java application wrapper for Windows
66df4b76e58f updated to WinRun4J;
wenzelm
parents:
diff changeset
     2
====================================
66df4b76e58f updated to WinRun4J;
wenzelm
parents:
diff changeset
     3
66df4b76e58f updated to WinRun4J;
wenzelm
parents:
diff changeset
     4
* http://winrun4j.sourceforge.net/
53474
077a2758ceb4 updated exe -- more explicit icon;
wenzelm
parents: 53471
diff changeset
     5
077a2758ceb4 updated exe -- more explicit icon;
wenzelm
parents: 53471
diff changeset
     6
cp winrun4j/bin/WinRun4J.exe Isabelle.exe
077a2758ceb4 updated exe -- more explicit icon;
wenzelm
parents: 53471
diff changeset
     7
winrun4j/bin/RCEDIT /C Isabelle.exe
54662
aeb21314d078 prefer transparent application icon (like Mac OS X);
wenzelm
parents: 53474
diff changeset
     8
winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico
53474
077a2758ceb4 updated exe -- more explicit icon;
wenzelm
parents: 53471
diff changeset
     9