isabelle: Admin/polyml/CHECKLIST@ea2778854739 (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
1f184f8ec10b notes on building Poly/ML; wenzelm parents: diff changeset	15
60123 d990db067a3d updated polyml according to fixes-5.5.2 SVN version 2007; wenzelm parents: 56959 diff changeset	16	* include copy of "polyml" script

author	blanchet
	Mon, 22 Jun 2015 16:56:03 +0200
changeset 60543	ea2778854739
parent 60123	d990db067a3d
child 63229	f951c624c1a1
permissions	-rw-r--r--