| changeset 69416 | cc3a3eba99ae |
| parent 69415 | 99c3529c31d0 |
| child 69417 | 469724b2cb5d |
--- a/Admin/Windows/WinRun4J/README Thu Dec 06 16:48:40 2018 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,9 +0,0 @@ -Java application wrapper for Windows -==================================== - -* http://winrun4j.sourceforge.net/ - -cp winrun4j/bin/WinRun4J.exe Isabelle.exe -winrun4j/bin/RCEDIT /C Isabelle.exe -winrun4j/bin/RCEDIT /I Isabelle.exe isabelle_transparent.ico -