# HG changeset patch
# User wenzelm
# Date 1508784184 -7200
# Node ID 9b074f01a305cd32b5ded91e96a2c51d55a22100
# Parent  603a00f21817b3080a890443a786ce15ce023764
obsolete;

diff -r 603a00f21817 -r 9b074f01a305 Admin/PLATFORMS
--- 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)
 
diff -r 603a00f21817 -r 9b074f01a305 Admin/Release/CHECKLIST
--- 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;
diff -r 603a00f21817 -r 9b074f01a305 Admin/lib/Tools/makedist_bundle
--- 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/."