1.1 --- a/Admin/components/components.sha1	Tue Sep 17 17:17:55 2013 +0200
     1.2 +++ b/Admin/components/components.sha1	Tue Sep 17 21:12:41 2013 +0200
     1.3 @@ -46,6 +46,7 @@
     1.4  7d604a99355efbfc1459d80db3279ffa7ade3e39  polyml-5.5.0-2.tar.gz
     1.5  b3d776e6744f0cd2773d467bc2cfe1de3d1ca2fd  polyml-5.5.0-3.tar.gz
     1.6  1812e9fa6d163f63edb93e37d1217640a166cf3e  polyml-5.5.0.tar.gz
     1.7 +36f78f27291a9ceb13bf1120b62a45625afd44a6  polyml-5.5.1.tar.gz
     1.8  8ee375cfc38972f080dbc78f07b68dac03efe968  ProofGeneral-3.7.1.1.tar.gz
     1.9  847b52c0676b5eb0fbf0476f64fc08c2d72afd0c  ProofGeneral-4.1.tar.gz
    1.10  8472221c876a430cde325841ce52893328302712  ProofGeneral-4.2.tar.gz

     2.1 --- a/Admin/components/main	Tue Sep 17 17:17:55 2013 +0200
     2.2 +++ b/Admin/components/main	Tue Sep 17 21:12:41 2013 +0200
     2.3 @@ -7,7 +7,7 @@
     2.4  jedit_build-20130910
     2.5  jfreechart-1.0.14-1
     2.6  kodkodi-1.5.2
     2.7 -polyml-5.5.0-3
     2.8 +polyml-5.5.1
     2.9  scala-2.10.2
    2.10  spass-3.8ds
    2.11  z3-3.2

     3.1 --- a/Admin/polyml/README	Tue Sep 17 17:17:55 2013 +0200
     3.2 +++ b/Admin/polyml/README	Tue Sep 17 21:12:41 2013 +0200
     3.3 @@ -1,8 +1,9 @@
     3.4  Poly/ML for Isabelle
     3.5  ====================
     3.6  
     3.7 -This compilation of Poly/ML 5.5.0 (http://www.polyml.org) is based on
     3.8 -svn://svn.code.sf.net/p/polyml/code/fixes-5.5 version 1658.
     3.9 +This compilation of Poly/ML 5.5.1 (http://www.polyml.org) is based on the
    3.10 +official source distribution polyml.5.5.1.tar.gz from
    3.11 +http://sourceforge.net/projects/polyml/.
    3.12  
    3.13  The included build script is used like this:
    3.14  
    3.15 @@ -17,4 +18,4 @@
    3.16  
    3.17  
    3.18  	Makarius
    3.19 -	28-Jan-2013
    3.20 +	17-Sep-2013

     4.1 --- a/Admin/polyml/settings	Tue Sep 17 17:17:55 2013 +0200
     4.2 +++ b/Admin/polyml/settings	Tue Sep 17 21:12:41 2013 +0200
     4.3 @@ -1,22 +1,25 @@
     4.4  # -*- shell-script -*- :mode=shellscript:
     4.5  
     4.6 +POLYML_HOME="$COMPONENT"
     4.7 +
     4.8 +
     4.9  # basic settings
    4.10  
    4.11 -#ML_SYSTEM=polyml-5.5.0
    4.12 -#ML_PLATFORM="$ISABELLE_PLATFORM"
    4.13 -#ML_HOME="$COMPONENT/$ML_PLATFORM"
    4.14 +#ML_SYSTEM=polyml-5.5.1
    4.15 +#ML_PLATFORM="$ISABELLE_PLATFORM32"
    4.16 +#ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    4.17  #ML_OPTIONS="-H 500"
    4.18 -#ML_SOURCES="$ML_HOME/../src"
    4.19 +#ML_SOURCES="$POLYML_HOME/src"
    4.20  
    4.21  
    4.22  # smart settings
    4.23  
    4.24 -ML_SYSTEM=polyml-5.5.0
    4.25 +ML_SYSTEM=polyml-5.5.1
    4.26  
    4.27  case "$ISABELLE_PLATFORM" in
    4.28    *-linux)
    4.29 -    if env LD_LIBRARY_PATH="$COMPONENT/$ISABELLE_PLATFORM32:$LD_LIBRARY_PATH" \
    4.30 -      "$COMPONENT/$ISABELLE_PLATFORM32/poly" -v >/dev/null 2>/dev/null
    4.31 +    if env LD_LIBRARY_PATH="$POLYML_HOME/$ISABELLE_PLATFORM32:$LD_LIBRARY_PATH" \
    4.32 +      "$POLYML_HOME/$ISABELLE_PLATFORM32/poly" -v >/dev/null 2>/dev/null
    4.33      then
    4.34        ML_PLATFORM="$ISABELLE_PLATFORM32"
    4.35      else
    4.36 @@ -42,6 +45,6 @@
    4.37      ;;
    4.38  esac
    4.39  
    4.40 -ML_HOME="$COMPONENT/$ML_PLATFORM"
    4.41 -ML_SOURCES="$COMPONENT/src"
    4.42 +ML_HOME="$POLYML_HOME/$ML_PLATFORM"
    4.43 +ML_SOURCES="$POLYML_HOME/src"
    4.44