--- a/Admin/PLATFORMS Mon Oct 23 20:21:36 2017 +0200
+++ b/Admin/PLATFORMS Mon Oct 23 20:43:04 2017 +0200
@@ -30,7 +30,6 @@
following base-line versions (which have been selected to be neither
too old nor too new):
- x86-linux Ubuntu 12.04 LTS
x86_64-linux Ubuntu 12.04 LTS
x86_64-darwin Mac OS X 10.9 Mavericks (macbroy2 MacPro4,1)
@@ -38,7 +37,6 @@
Mac OS X 10.11 El Capitan (?)
macOS 10.12 Sierra (macbroy30 MacBookPro6,2)
- x86-windows Windows 7
x86_64-windows Windows 7
x86_64-cygwin Cygwin 2.8 http://isabelle.in.tum.de/cygwin_2017 (x86_64/release)
--- a/Admin/Release/CHECKLIST Mon Oct 23 20:21:36 2017 +0200
+++ b/Admin/Release/CHECKLIST Mon Oct 23 20:43:04 2017 +0200
@@ -45,10 +45,6 @@
- HTML library: check theory dependencies (PDF);
-- test contrib components:
- x86_64-linux without 32bit C/C++ libraries
- x86-linux on 32bit hardware
-
- check "Handler catches all exceptions"
- Mac OS X: check app bundle with Retina display;
--- a/Admin/lib/Tools/makedist_bundle Mon Oct 23 20:21:36 2017 +0200
+++ b/Admin/lib/Tools/makedist_bundle Mon Oct 23 20:43:04 2017 +0200
@@ -236,7 +236,6 @@
;;
windows)
purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin" -o -name "x86-cygwin"'
- purge_target 'contrib/jdk -name "x86-windows"'
purge_jdk "x86_64-windows"
mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."