isabelle: Admin/polyml/README@d990db067a3d (annotated)

38469 5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	1	Poly/ML for Isabelle
5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	2	====================
27012 e6229d8d6aaa moved README-polyml to polyml/README; wenzelm parents: diff changeset	3
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	4	This compilation of Poly/ML 5.5.2 is based on
e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	5	http://sourceforge.net/p/polyml/code/HEAD/tree/fixes-5.5.2 version
60123 d990db067a3d updated polyml according to fixes-5.5.2 SVN version 2007; wenzelm parents: 57689 diff changeset	6	2007. See also fixes-5.5.2.diff for the differences to the official
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	7	source distribution polyml.5.5.2.tar.gz from
53686 432edb1a2469 updated to polyml-5.5.1; wenzelm parents: 51066 diff changeset	8	http://sourceforge.net/projects/polyml/.
41331 8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	9
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	10
41330 a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	11	The included build script is used like this:
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	12
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	13	./build src x86-linux --with-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	14	./build src x86_64-linux --with-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	15	./build src x86-darwin --without-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	16	./build src x86_64-darwin --without-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	17	./build src x86-cygwin --with-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	18
41331 8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	19	Also note that the separate "sha1" library module is required for
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	20	efficient digesting of strings according to SHA-1.
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	21
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	22
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	23	Makarius
60123 d990db067a3d updated polyml according to fixes-5.5.2 SVN version 2007; wenzelm parents: 57689 diff changeset	24	17-Apr-2015

author	wenzelm
	Fri, 17 Apr 2015 20:19:54 +0200
changeset 60123	d990db067a3d
parent 57689	e189ba8a64b9
child 60188	b8b7006a64ef
permissions	-rw-r--r--