Name | Date | Size | ||
---|---|---|---|---|
.. | 25-Jul-2019 | 6 | ||
isabelle.ico | H A D | 25-Jul-2019 | 25.7 KiB | |
Isabelle.ini | H A D | 25-Jul-2019 | 156 | |
isabelle_transparent.ico | H A D | 25-Jul-2019 | 25.2 KiB | |
manifest.xml | H A D | 25-Jul-2019 | 381 | |
README | H A D | 25-Jul-2019 | 251 |
README
1Java application wrapper for Windows 2==================================== 3 4* http://winrun4j.sourceforge.net/ 5 6cp winrun4j/bin/WinRun4J.exe Isabelle.exe 7winrun4j/bin/RCEDIT /C Isabelle.exe 8winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico 9 10