updated to official polyml-5.6;
authorwenzelm
Sun Jan 31 13:25:21 2016 +0100 (2016-01-31)
changeset 622526a87f7b15b69
parent 62251 460273b88e64
child 62253 91363e4c196d
updated to official polyml-5.6;
Admin/components/components.sha1
Admin/components/main
Admin/polyml/README
     1.1 --- a/Admin/components/components.sha1	Fri Jan 29 23:08:46 2016 +0100
     1.2 +++ b/Admin/components/components.sha1	Sun Jan 31 13:25:21 2016 +0100
     1.3 @@ -116,6 +116,7 @@
     1.4  822f489c18e38ce5ef979ec21dccce4473e09be6  polyml-5.6-20151206.tar.gz
     1.5  bd6a448f0e0d5787747f4f30ca661f9c1868e4a7  polyml-5.6-20151223.tar.gz
     1.6  5b70c12c95a90d858f90c1945011289944ea8e17  polyml-5.6-20160118.tar.gz
     1.7 +5b19dc93082803b82aa553a5cfb3e914606c0ffd  polyml-5.6.tar.gz
     1.8  8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
     1.9  847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
    1.10  8e0b2b432755ef11d964e20637d1bc567d1c0477  ProofGeneral-4.2-1.tar.gz
     2.1 --- a/Admin/components/main	Fri Jan 29 23:08:46 2016 +0100
     2.2 +++ b/Admin/components/main	Sun Jan 31 13:25:21 2016 +0100
     2.3 @@ -10,7 +10,7 @@
     2.4  jfreechart-1.0.14-1
     2.5  jortho-1.0-2
     2.6  kodkodi-1.5.2
     2.7 -polyml-5.6-20160118
     2.8 +polyml-5.6
     2.9  scala-2.11.7
    2.10  spass-3.8ds
    2.11  xz-java-1.2-1
     3.1 --- a/Admin/polyml/README	Fri Jan 29 23:08:46 2016 +0100
     3.2 +++ b/Admin/polyml/README	Sun Jan 31 13:25:21 2016 +0100
     3.3 @@ -1,8 +1,8 @@
     3.4  Poly/ML for Isabelle
     3.5  ====================
     3.6  
     3.7 -This is a preview of Poly/ML 5.6, based on
     3.8 -https://github.com/polyml/polyml/ commit 72a1c60e3d00.
     3.9 +This compilation of Poly/ML 5.6 (http://www.polyml.org) is based on the source
    3.10 +distribution from https://github.com/polyml/polyml/releases/tag/v5.6/.
    3.11  
    3.12  The included build script is used like this:
    3.13  
    3.14 @@ -14,8 +14,8 @@
    3.15    ./build src x86_64-windows --with-gmp
    3.16  
    3.17  Also note that the separate "sha1" library module is required for
    3.18 -efficient digesting of strings according to SHA-1.
    3.19 +efficient digestion of strings according to SHA-1.
    3.20  
    3.21  
    3.22          Makarius
    3.23 -        18-Jan-2016
    3.24 +        31-Jan-2016