# HG changeset patch
# User wenzelm
# Date 1508785019 -7200
# Node ID 9eaa9504991bf4e8a413683d82431d318353e5d0
# Parent  9b074f01a305cd32b5ded91e96a2c51d55a22100
discontinued Linux 32bit platform support;

diff -r 9b074f01a305 -r 9eaa9504991b NEWS
--- a/NEWS	Mon Oct 23 20:43:04 2017 +0200
+++ b/NEWS	Mon Oct 23 20:56:59 2017 +0200
@@ -66,8 +66,8 @@
 
 *** System ***
 
-* Windows and Cygwin is for x86_64 only. Old 32bit platform support has
-been discontinued.
+* Linux and Windows/Cygwin is for x86_64 only. Old 32bit platform
+support has been discontinued.
 
 * Java runtime is for x86_64 only. Corresponding Isabelle settings have
 been renamed to ISABELLE_TOOL_JAVA_OPTIONS and JEDIT_JAVA_OPTIONS,