# HG changeset patch
# User wenzelm
# Date 1544125010 -3600
# Node ID cc3a3eba99aebaf81cea193bd422f850084ed91f
# Parent  99c3529c31d0daf5e6a8089026f0da388f44ebec
obsolete;

diff -r 99c3529c31d0 -r cc3a3eba99ae Admin/Windows/WinRun4J/Isabelle.ini
--- 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%
diff -r 99c3529c31d0 -r cc3a3eba99ae Admin/Windows/WinRun4J/README
--- 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
-
diff -r 99c3529c31d0 -r cc3a3eba99ae Admin/Windows/WinRun4J/isabelle.ico
Binary file Admin/Windows/WinRun4J/isabelle.ico has changed
diff -r 99c3529c31d0 -r cc3a3eba99ae Admin/Windows/WinRun4J/isabelle_transparent.ico
Binary file Admin/Windows/WinRun4J/isabelle_transparent.ico has changed
diff -r 99c3529c31d0 -r cc3a3eba99ae Admin/Windows/WinRun4J/manifest.xml
--- 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>
-