obsolete;

--- a/Admin/Windows/WinRun4J/Isabelle.ini	Thu Dec 06 16:48:40 2018 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-main.class=isabelle.Main
-vm.location=contrib\jdk\x86-cygwin\jre\bin\server\jvm.dll
-splash.image=lib\logo\isabelle.bmp
-vmarg.1=-Disabelle.root=%INI_DIR%

--- 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
-

Binary file Admin/Windows/WinRun4J/isabelle.ico has changed

Binary file Admin/Windows/WinRun4J/isabelle_transparent.ico has changed

--- a/Admin/Windows/WinRun4J/manifest.xml	Thu Dec 06 16:48:40 2018 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,9 +0,0 @@
-<?xml version="1.0" encoding="UTF-8" standalone="yes"?>
-<assembly xmlns="urn:schemas-microsoft-com:asm.v1" manifestVersion="1.0" xmlns:asmv3="urn:schemas-microsoft-com:asm.v3" >
- <asmv3:application>
-   <asmv3:windowsSettings xmlns="http://schemas.microsoft.com/SMI/2005/WindowsSettings">
-    <dpiAware>true</dpiAware>
-   </asmv3:windowsSettings>
- </asmv3:application>
-</assembly>
-