Poly/ML for Isabelle====================This compilation of Poly/ML 5.4.1 is based on the official sourcesfrom http://www.polyml.orgThe included build script is used like this: ./build src x86-linux --with-gmp ./build src x86_64-linux --with-gmp ./build src x86-darwin --without-gmp ./build src x86_64-darwin --without-gmp ./build src x86-cygwin --with-gmpThe multi-platform directory layout for executables and sharedlibraries accommodates the standard ML_HOME settings for Isabelle.Also note that the separate "sha1" library module is required forefficient digesting of strings according to SHA-1. Makarius 15-Oct-2011