isabelle: Admin/polyml/CHECKLIST@c22e092b39e9 (annotated)

51061 1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	1	Notes on building Poly/ML as Isabelle component
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	2	===============================================
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	3
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	4	* copy README
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	5
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	6	* copy build
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	7
51066 7fc61bfb1c2d updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements; wenzelm parents: 51061 diff changeset	8	* copy etc/settings
51061 1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	9
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	10	* include full source (without symlink)
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	11
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	12	* include sha1 source and binary for each platform
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	13
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	14	* linux: include copy of libgmp.so with symlinks from build host