tuned
authorboehmes
Fri Jan 07 15:37:53 2011 +0100 (2011-01-07)
changeset 414585eca258324ca
parent 41441 a7a03f856354
child 41459 f0db8f40d656
tuned
Admin/PLATFORMS
     1.1 --- a/Admin/PLATFORMS	Fri Jan 07 13:24:09 2011 +0100
     1.2 +++ b/Admin/PLATFORMS	Fri Jan 07 15:37:53 2011 +0100
     1.3 @@ -61,13 +61,13 @@
     1.4  The ISABELLE_PLATFORM setting variable refers to the 32 bit version of
     1.5  the platform, even on 64 bit hardware.  Power-tools need to indicate
     1.6  64 bit support explicitly, via the (optional) ISABELLE_PLATFORM64
     1.7 -setting.  The following bash expressions prefers the 64 bit platform,
     1.8 +setting.  The following bash expression prefers the 64 bit platform,
     1.9  if that is available:
    1.10  
    1.11    "${ISABELLE_PLATFORM64:-$ISABELLE_PLATFORM}"
    1.12  
    1.13  Note that ML and JVM may have a different idea of the platform,
    1.14 -depending the the respective binaries that are actually run.
    1.15 +depending on the respective binaries that are actually run.
    1.16  
    1.17  
    1.18  Dependable system tools