--- a/Admin/PLATFORMS Sat Sep 30 19:49:13 2017 +0200
+++ b/Admin/PLATFORMS Sat Sep 30 20:06:26 2017 +0200
@@ -70,10 +70,9 @@
ISABELLE_PLATFORM32 (potentially empty)
ISABELLE_PLATFORM
-The ISABELLE_PLATFORM setting variable refers to the 32 bit version of
-the platform, even on 64 bit hardware. Using regular bash notation,
-tools may express their preference for 64 bit with a fall-back for 32
-bit as follows:
+The ISABELLE_PLATFORM setting variable prefers the 32 bit version of the
+platform, if possible. Using regular bash notation, tools may express their
+preference for 64 bit with a fall-back for 32 bit as follows:
"${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM32}"
@@ -81,7 +80,7 @@
There is a second set of settings for native Windows (instead of the
POSIX emulation of Cygwin used before):
- ISABELLE_WINDOWS_PLATFORM64 (potentially empty)
+ ISABELLE_WINDOWS_PLATFORM64
ISABELLE_WINDOWS_PLATFORM32
ISABELLE_WINDOWS_PLATFORM