isabelle: Admin/polyml/README@fb1e5377143d (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
38469 5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	4	This distribution of Poly/ML 5.4 has been compiled from the original
5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	5	sources using the included build script. For example:
37122 3ac12f743fe5 misc updates for release; wenzelm parents: 33540 diff changeset	6
38469 5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	7	./build polyml.5.4 x86-linux --with-gmp
37122 3ac12f743fe5 misc updates for release; wenzelm parents: 33540 diff changeset	8
38469 5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	9	The resulting executables and shared libraries are moved to
5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	10	x86-linux/. This directory layout accomodates the standard ML_HOME
5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	11	settings for Isabelle.
27012 e6229d8d6aaa moved README-polyml to polyml/README; wenzelm parents: diff changeset	12
e6229d8d6aaa moved README-polyml to polyml/README; wenzelm parents: diff changeset	13
e6229d8d6aaa moved README-polyml to polyml/README; wenzelm parents: diff changeset	14	Makarius
38469 5c6c5d63f3c3 updated for prospective Poly/ML 5.4; wenzelm parents: 37122 diff changeset	15	17-Aug-2010

author	haftmann
	Wed, 08 Dec 2010 14:52:23 +0100
changeset 41081	fb1e5377143d
parent 38469	5c6c5d63f3c3
child 41330	a4d9831c21d4
permissions	-rw-r--r--