NameDateSize

..25-Jul-20196

isabelle.icoH A D25-Jul-201925.7 KiB

Isabelle.iniH A D25-Jul-2019156

isabelle_transparent.icoH A D25-Jul-201925.2 KiB

manifest.xmlH A D25-Jul-2019381

READMEH A D25-Jul-2019251

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