# HG changeset patch
# User wenzelm
# Date 1513855164 -3600
# Node ID 759d4fb30bfcdf71c46c8da16772bd0c63631131
# Parent  ab10ea1d6fd064bf0c7960778ae7e80a0310a8b6
tuned;

diff -r ab10ea1d6fd0 -r 759d4fb30bfc Admin/PLATFORMS
--- a/Admin/PLATFORMS	Thu Dec 21 08:23:19 2017 +0100
+++ b/Admin/PLATFORMS	Thu Dec 21 12:19:24 2017 +0100
@@ -8,8 +8,8 @@
 environment, with as little system-specific code in user-space tools
 as possible.
 
-The basic Isabelle system infrastructure provides some facilities to
-make this work, e.g. see the ML and Scala modules File and Path, or
+The Isabelle system infrastructure provides some facilities to make
+this work, e.g. see the ML and Scala modules File and Path, or
 functions like Isabelle_System.bash.  The settings environment also
 provides some means for portability, e.g. the bash function
 "platform_path" to keep the impression that Windows/Cygwin adheres to
@@ -17,10 +17,10 @@
 Windows.
 
 When producing add-on tools, it is important to stay within this clean
-room of Isabelle, and refrain from low-level access to the operating
-system. The Isabelle environment uses peculiar scripts for GNU bash and
-perl to get the plumbing right. This style should be imitated as far as
-possible.
+room of Isabelle, and refrain from non-portable access to operating
+system functions. The Isabelle environment uses peculiar scripts for
+GNU bash and perl to get the plumbing right. This style should be
+imitated as far as possible.
 
 
 Supported platforms
@@ -49,10 +49,11 @@
 64 bit vs. 32 bit platform personality
 --------------------------------------
 
-Isabelle requires 64 bit hardware running a 64 bit operating. Windows
-and Mac OS X allow x86 executables as well, but for Linux this requires
-separate installation of 32 bit shared libraries. The POSIX emulation on
-Windows via Cygwin64 is exclusively for x86_64.
+Isabelle requires 64 bit hardware running a 64 bit operating
+system. Windows and Mac OS X allow x86 executables as well, but for
+Linux this requires separate installation of 32 bit shared
+libraries. The POSIX emulation on Windows via Cygwin64 is exclusively
+for x86_64.
 
 ML works both for x86_64 and x86, and the latter is preferred for space
 and performance reasons. Java is always for x86_64 on all platforms.