isabelle: Admin/Windows/WinRun4J/README@9f8d26b8c731 (annotated)

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