Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
authorwenzelm
Mon, 24 Mar 2008 18:35:41 +0100
changeset 26377 54dc2f9c5be8
parent 26376 1aeabd85866a
child 26378 bac8d5e5f833
removed pointer_eq from polyml_common.ML (structure Address no longer available after 5.1);
src/Pure/ML-Systems/polyml-4.1.3.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/polyml-4.1.4.ML file | annotate | diff | comparison | revisions
src/Pure/ML-Systems/polyml-4.2.0.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml-4.1.3.ML	Mon Mar 24 18:35:40 2008 +0100
+++ b/src/Pure/ML-Systems/polyml-4.1.3.ML	Mon Mar 24 18:35:41 2008 +0100
@@ -6,3 +6,7 @@
 
 use "ML-Systems/polyml_old_basis.ML";
 use "ML-Systems/polyml_common.ML";
+use "ML-Systems/polyml_old_compiler4.ML";
+
+val pointer_eq = Address.wordEq;
+
--- a/src/Pure/ML-Systems/polyml-4.1.4.ML	Mon Mar 24 18:35:40 2008 +0100
+++ b/src/Pure/ML-Systems/polyml-4.1.4.ML	Mon Mar 24 18:35:41 2008 +0100
@@ -6,3 +6,7 @@
 
 use "ML-Systems/polyml_old_basis.ML";
 use "ML-Systems/polyml_common.ML";
+use "ML-Systems/polyml_old_compiler4.ML";
+
+val pointer_eq = Address.wordEq;
+
--- a/src/Pure/ML-Systems/polyml-4.2.0.ML	Mon Mar 24 18:35:40 2008 +0100
+++ b/src/Pure/ML-Systems/polyml-4.2.0.ML	Mon Mar 24 18:35:41 2008 +0100
@@ -5,3 +5,7 @@
 *)
 
 use "ML-Systems/polyml_common.ML";
+use "ML-Systems/polyml_old_compiler4.ML";
+
+val pointer_eq = Address.wordEq;
+
isabelle