1.1 --- a/Admin/polyml/README	Sat Apr 11 11:28:31 2015 +0200
     1.2 +++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.3 @@ -1,24 +0,0 @@
     1.4 -Poly/ML for Isabelle
     1.5 -====================
     1.6 -
     1.7 -This compilation of Poly/ML 5.5.2 is based on
     1.8 -http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version
     1.9 -1955.  See also fixes-5.5.2.diff for the differences to the official
    1.10 -source distribution polyml.5.5.2.tar.gz from
    1.11 -http://sourceforge.net/projects/polyml/.
    1.12 -
    1.13 -
    1.14 -The included build script is used like this:
    1.15 -
    1.16 -  ./build src x86-linux --with-gmp
    1.17 -  ./build src x86_64-linux --with-gmp
    1.18 -  ./build src x86-darwin --without-gmp
    1.19 -  ./build src x86_64-darwin --without-gmp
    1.20 -  ./build src x86-cygwin --with-gmp
    1.21 -
    1.22 -Also note that the separate "sha1" library module is required for
    1.23 -efficient digesting of strings according to SHA-1.
    1.24 -
    1.25 -
    1.26 -        Makarius
    1.27 -        25-Jul-2014