isabelle: Admin/polyml/README@d7e0315fe423 (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
61740 d7e0315fe423 updated to polyml-5.6-20151123; wenzelm parents: 61071 diff changeset	4	This is a preview of Poly/ML 5.6, based on
d7e0315fe423 updated to polyml-5.6-20151123; wenzelm parents: 61071 diff changeset	5	https://github.com/polyml/polyml/ commit b49eb17ab516.
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 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
60983 ff4a67c65084 updated to polyml-5.5.3-20150820, with native x86-windows support; wenzelm parents: 60188 diff changeset	13	./build src x86-windows --with-gmp
61071 c6ac3c3fbb85 support x86_64-windows; wenzelm parents: 60983 diff changeset	14	./build src x86_64-windows --with-gmp
41330 a4d9831c21d4 updated for Poly/ML 5.4.0; wenzelm parents: 38469 diff changeset	15
41331 8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	16	Also note that the separate "sha1" library module is required for
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	17	efficient digesting of strings according to SHA-1.
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	18
8cdadd543fc8 tuned; wenzelm parents: 41330 diff changeset	19
57689 e189ba8a64b9 updated to polyml-5.5.2-1 which addresses two hard crashes; wenzelm parents: 56958 diff changeset	20	Makarius
61740 d7e0315fe423 updated to polyml-5.6-20151123; wenzelm parents: 61071 diff changeset	21	23-Nov-2015

author	wenzelm
	Mon, 23 Nov 2015 17:56:11 +0100
changeset 61740	d7e0315fe423
parent 61071	c6ac3c3fbb85
child 61795	16901b0392c6
permissions	-rw-r--r--