# HG changeset patch
# User wenzelm
# Date 1518351183 -3600
# Node ID 5b4dd7a5b8828ec257da025ce716fa8c69302b6c
# Parent  c195722c60ac95db87bfefde0adedc5ac1e9d88a
tuned;

diff -r c195722c60ac -r 5b4dd7a5b882 Admin/polyml/README
--- a/Admin/polyml/README	Sun Feb 11 13:07:59 2018 +0100
+++ b/Admin/polyml/README	Sun Feb 11 13:13:03 2018 +0100
@@ -12,16 +12,16 @@
   $ isabelle build_polyml -m32 -s sha1 src
   $ isabelle build_polyml -m64 -s sha1 src
 
+* Mac OS X:
+
+  $ isabelle build_polyml -m32 -s sha1 src
+  $ isabelle build_polyml -m64 -s sha1 src
+
 * Windows (Cygwin shell)
 
   $ isabelle build_polyml -M /cygdrive/c/msys64 -m32 -s sha1 src
   $ isabelle build_polyml -M /cygdrive/c/msys64 -m64 -s sha1 src
 
-* Mac OS X:
-
-  $ isabelle build_polyml -m32 -s sha1 src
-  $ isabelle build_polyml -m64 -s sha1 src
-
 
 Building libgmp on Mac OS X
 ===========================
@@ -29,8 +29,8 @@
 The build_polyml invocations above implicitly use the GNU Multiple Precision
 Arithmetic Library (libgmp), but that is not available on Mac OS X by default.
 Appending "--without-gmp" to the command-line omits this library. Building
-libgmp properly works as follows (library headers and binaries will be placed
-in /usr/local).
+libgmp properly from sources works as follows (library headers and binaries
+will be placed in /usr/local).
 
 * Download: