# HG changeset patch
# User wenzelm
# Date 1487356634 -3600
# Node ID 42b92fa72a5175463ef9e123fd37b07cf534b4c6
# Parent  52e2c99f37115936d2fbe9a5ad69ca965764fd30
updated to polyml-5.7 pre-release from repository;

diff -r 52e2c99f3711 -r 42b92fa72a51 Admin/components/components.sha1
--- a/Admin/components/components.sha1	Thu Feb 16 13:54:22 2017 +0100
+++ b/Admin/components/components.sha1	Fri Feb 17 19:37:14 2017 +0100
@@ -138,6 +138,7 @@
 bd6a448f0e0d5787747f4f30ca661f9c1868e4a7  polyml-5.6-20151223.tar.gz
 5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
 5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
+80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
 853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
 c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
 f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
diff -r 52e2c99f3711 -r 42b92fa72a51 Admin/components/main
--- a/Admin/components/main	Thu Feb 16 13:54:22 2017 +0100
+++ b/Admin/components/main	Fri Feb 17 19:37:14 2017 +0100
@@ -10,7 +10,7 @@
 jortho-1.0-2
 kodkodi-1.5.2
 nunchaku-0.3
-polyml-5.6-1
+polyml-5.7-20170217
 postgresql-9.4.1212
 scala-2.11.8
 ssh-java-20161009
diff -r 52e2c99f3711 -r 42b92fa72a51 Admin/polyml/CHECKLIST
--- a/Admin/polyml/CHECKLIST	Thu Feb 16 13:54:22 2017 +0100
+++ b/Admin/polyml/CHECKLIST	Fri Feb 17 19:37:14 2017 +0100
@@ -1,14 +1,8 @@
 Notes on building Poly/ML as Isabelle component
 ===============================================
 
-* copy README
-
-* copy build
-
-* copy etc/settings
+* include full source (without symlink):
+  $ wget https://github.com/polyml/polyml/archive/master.zip
 
-* include full source (without symlink)
-
-* include sha1 source and binary for each platform
-
-* linux: include copy of libgmp.so with symlinks from build host
+* component outline:
+  $ isabelle build_polyml -C component ...
diff -r 52e2c99f3711 -r 42b92fa72a51 Admin/polyml/README
--- a/Admin/polyml/README	Thu Feb 16 13:54:22 2017 +0100
+++ b/Admin/polyml/README	Fri Feb 17 19:37:14 2017 +0100
@@ -2,7 +2,7 @@
 ====================
 
 This compilation of Poly/ML (http://www.polyml.org) is based on the repository
-version https://github.com/polyml/polyml/commit/8529546198aa
+version https://github.com/polyml/polyml/commit/6307085deb18
 
 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
-        10-Dec-2016
+        17-Feb-2017
diff -r 52e2c99f3711 -r 42b92fa72a51 src/Pure/Tools/bibtex.ML
--- a/src/Pure/Tools/bibtex.ML	Thu Feb 16 13:54:22 2017 +0100
+++ b/src/Pure/Tools/bibtex.ML	Fri Feb 17 19:37:14 2017 +0100
@@ -31,4 +31,3 @@
         in "\\" ^ Config.get ctxt cite_macro ^ opt_arg ^ arg end));
 
 end;
-