isabelle: src/Pure/ML-Systems/polyml-4.1.4.ML@dfd6947ab5c2 (annotated)

23139 aa899bce7c3b TextIO.inputLine: use present SML B library version; wenzelm parents: diff changeset	1	(* Title: Pure/ML-Systems/polyml-4.1.4.ML
aa899bce7c3b TextIO.inputLine: use present SML B library version; wenzelm parents: diff changeset	2	ID: $Id$
aa899bce7c3b TextIO.inputLine: use present SML B library version; wenzelm parents: diff changeset	3
aa899bce7c3b TextIO.inputLine: use present SML B library version; wenzelm parents: diff changeset	4	Compatibility wrapper for Poly/ML 4.1.4.
aa899bce7c3b TextIO.inputLine: use present SML B library version; wenzelm parents: diff changeset	5	*)
aa899bce7c3b TextIO.inputLine: use present SML B library version; wenzelm parents: diff changeset	6
26215 94d32a7cd0fb rearrangements to make latest Poly/ML the default, not old 4.x; wenzelm parents: 23139 diff changeset	7	use "ML-Systems/polyml_old_basis.ML";
94d32a7cd0fb rearrangements to make latest Poly/ML the default, not old 4.x; wenzelm parents: 23139 diff changeset	8	use "ML-Systems/polyml_common.ML";
26377 54dc2f9c5be8 removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1); wenzelm parents: 26215 diff changeset	9	use "ML-Systems/polyml_old_compiler4.ML";
54dc2f9c5be8 removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1); wenzelm parents: 26215 diff changeset	10
54dc2f9c5be8 removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1); wenzelm parents: 26215 diff changeset	11	val pointer_eq = Address.wordEq;
54dc2f9c5be8 removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1); wenzelm parents: 26215 diff changeset	12

author	wenzelm
	Thu, 27 Mar 2008 15:32:19 +0100
changeset 26436	dfd6947ab5c2
parent 26377	54dc2f9c5be8
child 28151	61f9c918b410
permissions	-rw-r--r--