isabelle: Admin/polyml/README@301b69957af7 (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
51066 7fc61bfb1c2d updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements; wenzelm parents: 51043 diff changeset	4	This compilation of Poly/ML 5.5.0 (http://www.polyml.org) is based on
7fc61bfb1c2d updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements; wenzelm parents: 51043 diff changeset	5	svn://svn.code.sf.net/p/polyml/code/fixes-5.5 version 1658.
41331 8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	6
41330 a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	7	The included build script is used like this:
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	8
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	9	./build src x86-linux --with-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	10	./build src x86_64-linux --with-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	11	./build src x86-darwin --without-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	12	./build src x86_64-darwin --without-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	13	./build src x86-cygwin --with-gmp
a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	14
41331 8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	15	Also note that the separate "sha1" library module is required for
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	16	efficient digesting of strings according to SHA-1.
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	17
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	18
27012 e6229d8d6aaa moved README-polyml to polyml/README; wenzelm parents: diff changeset	19	Makarius
51066 7fc61bfb1c2d updated to polyml-5.5.0-3 based on fixes-5.5 version 1658, which provides important improvements; wenzelm parents: 51043 diff changeset	20	28-Jan-2013

author	wenzelm
	Wed, 28 Aug 2013 10:35:12 +0200 (2013-08-28)
changeset 53245	301b69957af7
parent 51066	7fc61bfb1c2d
child 53686	432edb1a2469
permissions	-rw-r--r--