1.1 --- a/Admin/components/components.sha1	Fri Jul 25 20:55:57 2014 +0200
     1.2 +++ b/Admin/components/components.sha1	Fri Jul 25 21:29:12 2014 +0200
     1.3 @@ -67,6 +67,7 @@
     1.4  1812e9fa6d163f63edb93e37d1217640a166cf3e  polyml-5.5.0.tar.gz
     1.5  36f5b8224f484721749682a3655c796a55a2718d  polyml-5.5.1-1.tar.gz
     1.6  36f78f27291a9ceb13bf1120b62a45625afd44a6  polyml-5.5.1.tar.gz
     1.7 +a588640dbf5da9ae15455b02ef709764a48637dc  polyml-5.5.2-1.tar.gz
     1.8  532f6e8814752aeb406c62fabcfd2cc05f8a7ca8  polyml-5.5.2.tar.gz
     1.9  8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
    1.10  847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz

     2.1 --- a/Admin/components/main	Fri Jul 25 20:55:57 2014 +0200
     2.2 +++ b/Admin/components/main	Fri Jul 25 21:29:12 2014 +0200
     2.3 @@ -8,7 +8,7 @@
     2.4  jfreechart-1.0.14-1
     2.5  jortho-1.0-2
     2.6  kodkodi-1.5.2
     2.7 -polyml-5.5.2
     2.8 +polyml-5.5.2-1
     2.9  scala-2.11.2
    2.10  spass-3.8ds
    2.11  z3-3.2-1

     3.1 --- a/Admin/polyml/README	Fri Jul 25 20:55:57 2014 +0200
     3.2 +++ b/Admin/polyml/README	Fri Jul 25 21:29:12 2014 +0200
     3.3 @@ -1,10 +1,13 @@
     3.4  Poly/ML for Isabelle
     3.5  ====================
     3.6  
     3.7 -This compilation of Poly/ML 5.5.2 (http://www.polyml.org) is based on the
     3.8 -official source distribution polyml.5.5.2.tar.gz from
     3.9 +This compilation of Poly/ML 5.5.2 is based on
    3.10 +http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version
    3.11 +1955.  See also fixes-5.5.2.diff for the differences to the official
    3.12 +source distribution polyml.5.5.2.tar.gz from
    3.13  http://sourceforge.net/projects/polyml/.
    3.14  
    3.15 +
    3.16  The included build script is used like this:
    3.17  
    3.18    ./build src x86-linux --with-gmp
    3.19 @@ -17,5 +20,5 @@
    3.20  efficient digesting of strings according to SHA-1.
    3.21  
    3.22  
    3.23 -	Makarius
    3.24 -	14-May-2014
    3.25 +        Makarius
    3.26 +        25-Jul-2014