# HG changeset patch
# User wenzelm
# Date 1511791850 -3600
# Node ID 3345d53e7c58ee3a656253553ceab3114c91c8c3
# Parent  0f750a6dc7548fcff4943eb2c6b783224e1eb686
updated to official release of polyml-5.7.1;
back to more modest default heap: e.g. relevant for Pure session for ML IDE;
more robust POLYML_EXE;

diff -r 0f750a6dc754 -r 3345d53e7c58 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/components/components.sha1	Mon Nov 27 15:10:50 2017 +0100
@@ -153,6 +153,7 @@
 5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
 21fa0592b7dfd23269063f42604438165630c0f0  polyml-5.6-2.tar.gz
 5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
+171b5783b88522a35e4822b19ef8ba838c04f494  polyml-5.7.1.tar.gz
 80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
 5fbcab1da2b5eb97f24da2590ece189d55b3a105  polyml-5.7.tar.gz
 4e6543dbbb2b2aa402fd61428e1c045c48f18b47  polyml-test-79534495ee94.tar.gz
diff -r 0f750a6dc754 -r 3345d53e7c58 Admin/components/main
--- a/Admin/components/main	Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/components/main	Mon Nov 27 15:10:50 2017 +0100
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.5
-polyml-test-fb4f42af00fa
+polyml-5.7.1
 postgresql-42.1.4
 scala-2.12.4
 smbc-0.4.1
diff -r 0f750a6dc754 -r 3345d53e7c58 Admin/polyml/README
--- a/Admin/polyml/README	Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/polyml/README	Mon Nov 27 15:10:50 2017 +0100
@@ -1,8 +1,8 @@
 Poly/ML for Isabelle
 ====================
 
-This compilation of Poly/ML 5.7 (http://www.polyml.org) is based on the
-source distribution from https://github.com/polyml/polyml/releases/tag/v5.7
+This compilation of Poly/ML 5.7.1 (http://www.polyml.org) is based on the
+source distribution from https://github.com/polyml/polyml/releases/tag/v5.7.1
 
 The Isabelle repository provides the administrative tool "build_polyml",
 which can be used in the polyml component directory as follows.
@@ -24,4 +24,4 @@
 
 
         Makarius
-        12-May-2017
+        27-Nov-2017
diff -r 0f750a6dc754 -r 3345d53e7c58 Admin/polyml/settings
--- a/Admin/polyml/settings	Mon Nov 27 16:07:49 2017 +0100
+++ b/Admin/polyml/settings	Mon Nov 27 15:10:50 2017 +0100
@@ -48,20 +48,16 @@
 
       case "$ML_PLATFORM" in
         x86_64-windows)
-          POLYML_EXE="$ML_HOME/poly.exe"
-          ML_OPTIONS="--minheap 2000 --codepage utf8"
-          ;;
-        x86-windows)
-          POLYML_EXE="$ML_HOME/poly.exe"
           ML_OPTIONS="--minheap 1000 --codepage utf8"
           ;;
+        x86-windows)
+          ML_OPTIONS="--minheap 500 --codepage utf8"
+          ;;
         x86_64-*)
-          POLYML_EXE="$ML_HOME/poly"
-          ML_OPTIONS="--minheap 2000"
+          ML_OPTIONS="--minheap 1000"
           ;;
         *)
-          POLYML_EXE="$ML_HOME/poly"
-          ML_OPTIONS="--minheap 1000"
+          ML_OPTIONS="--minheap 500"
           ;;
       esac
 
diff -r 0f750a6dc754 -r 3345d53e7c58 NEWS
--- a/NEWS	Mon Nov 27 16:07:49 2017 +0100
+++ b/NEWS	Mon Nov 27 15:10:50 2017 +0100
@@ -129,6 +129,10 @@
 * Command-line tool "isabelle imports -I" also reports actual session
 imports. This helps to minimize the session dependency graph.
 
+* Update to current Poly/ML 5.7.1 with slightly improved performance and
+PIDE markup for identifier bindings.
+
+
 
 New in Isabelle2017 (October 2017)
 ----------------------------------
@@ -444,6 +448,7 @@
   isabelle imports -M -a -d '~~/src/Benchmarks'
 
 
+
 New in Isabelle2016-1 (December 2016)
 -------------------------------------
 
diff -r 0f750a6dc754 -r 3345d53e7c58 lib/scripts/getsettings
--- a/lib/scripts/getsettings	Mon Nov 27 16:07:49 2017 +0100
+++ b/lib/scripts/getsettings	Mon Nov 27 15:10:50 2017 +0100
@@ -85,6 +85,13 @@
   chmod $(umask -S) "$ISABELLE_HOME_USER"
 fi
 
+#POLYML_EXE
+if [ "$ISABELLE_PLATFORM_FAMILY" = "windows" ]; then
+  POLYML_EXE="$ML_HOME/poly.exe"
+else
+  POLYML_EXE="$ML_HOME/poly"
+fi
+
 #ML system identifier
 if [ -z "$ML_PLATFORM" ]; then
   ML_IDENTIFIER="$ML_SYSTEM"