--- 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
--- 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
--- 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 ...
--- 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
--- 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;
-