Added tag Isabelle2014-RC4 for changeset 113b43b84412
Notes on building Poly/ML as Isabelle component===============================================* copy README* copy build* copy etc/settings* include full source (without symlink)* include sha1 source and binary for each platform* linux: include copy of libgmp.so with symlinks from build host