updated to polyml-5.7 pre-release from repository;
authorwenzelm
Fri Feb 17 19:37:14 2017 +0100 (2017-02-17)
changeset 6503242b92fa72a51
parent 65031 52e2c99f3711
child 65033 6be69d6881cd
updated to polyml-5.7 pre-release from repository;
Admin/components/components.sha1
Admin/components/main
Admin/polyml/CHECKLIST
Admin/polyml/README
src/Pure/Tools/bibtex.ML
     1.1 --- a/Admin/components/components.sha1	Thu Feb 16 13:54:22 2017 +0100
     1.2 +++ b/Admin/components/components.sha1	Fri Feb 17 19:37:14 2017 +0100
     1.3 @@ -138,6 +138,7 @@
     1.4  bd6a448f0e0d5787747f4f30ca661f9c1868e4a7  polyml-5.6-20151223.tar.gz
     1.5  5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
     1.6  5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
     1.7 +80b923fca3533bf291ff9da991f2262a98b68cc4  polyml-5.7-20170217.tar.gz
     1.8  853ab0e9ff2b73790cc80a2d36cbff8b03e50a8e  polyml-test-7a7b742897e9.tar.gz
     1.9  c629cd499a724bbe37b962f727e4ff340c50299d  polyml-test-8529546198aa.tar.gz
    1.10  f132329ca1045858ef456cc08b197c9eeea6881b  postgresql-9.4.1212.tar.gz
     2.1 --- a/Admin/components/main	Thu Feb 16 13:54:22 2017 +0100
     2.2 +++ b/Admin/components/main	Fri Feb 17 19:37:14 2017 +0100
     2.3 @@ -10,7 +10,7 @@
     2.4  jortho-1.0-2
     2.5  kodkodi-1.5.2
     2.6  nunchaku-0.3
     2.7 -polyml-5.6-1
     2.8 +polyml-5.7-20170217
     2.9  postgresql-9.4.1212
    2.10  scala-2.11.8
    2.11  ssh-java-20161009
     3.1 --- a/Admin/polyml/CHECKLIST	Thu Feb 16 13:54:22 2017 +0100
     3.2 +++ b/Admin/polyml/CHECKLIST	Fri Feb 17 19:37:14 2017 +0100
     3.3 @@ -1,14 +1,8 @@
     3.4  Notes on building Poly/ML as Isabelle component
     3.5  ===============================================
     3.6  
     3.7 -* copy README
     3.8 -
     3.9 -* copy build
    3.10 -
    3.11 -* copy etc/settings
    3.12 +* include full source (without symlink):
    3.13 +  $ wget https://github.com/polyml/polyml/archive/master.zip
    3.14  
    3.15 -* include full source (without symlink)
    3.16 -
    3.17 -* include sha1 source and binary for each platform
    3.18 -
    3.19 -* linux: include copy of libgmp.so with symlinks from build host
    3.20 +* component outline:
    3.21 +  $ isabelle build_polyml -C component ...
     4.1 --- a/Admin/polyml/README	Thu Feb 16 13:54:22 2017 +0100
     4.2 +++ b/Admin/polyml/README	Fri Feb 17 19:37:14 2017 +0100
     4.3 @@ -2,7 +2,7 @@
     4.4  ====================
     4.5  
     4.6  This compilation of Poly/ML (http://www.polyml.org) is based on the repository
     4.7 -version https://github.com/polyml/polyml/commit/8529546198aa
     4.8 +version https://github.com/polyml/polyml/commit/6307085deb18
     4.9  
    4.10  The Isabelle repository provides the administrative tool "build_polyml", which
    4.11  can be used in the polyml component directory as follows.
    4.12 @@ -24,4 +24,4 @@
    4.13  
    4.14  
    4.15          Makarius
    4.16 -        10-Dec-2016
    4.17 +        17-Feb-2017
     5.1 --- a/src/Pure/Tools/bibtex.ML	Thu Feb 16 13:54:22 2017 +0100
     5.2 +++ b/src/Pure/Tools/bibtex.ML	Fri Feb 17 19:37:14 2017 +0100
     5.3 @@ -31,4 +31,3 @@
     5.4          in "\\" ^ Config.get ctxt cite_macro ^ opt_arg ^ arg end));
     5.5  
     5.6  end;
     5.7 -