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.
hide "ref" by default, to enforce excplicit indication as Unsynchronized;
authorwenzelm
Tue, 29 Sep 2009 16:42:02 +0200
changeset 32741 bf8881f6e343
parent 32740 9dd0a2f83429
child 32742 58e5f4ae52a6
hide "ref" by default, to enforce excplicit indication as Unsynchronized;
src/Pure/ML-Systems/polyml_common.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/polyml_common.ML	Tue Sep 29 16:24:36 2009 +0200
+++ b/src/Pure/ML-Systems/polyml_common.ML	Tue Sep 29 16:42:02 2009 +0200
@@ -20,6 +20,8 @@
 val forget_structure = PolyML.Compiler.forgetStructure;
 
 val _ = PolyML.Compiler.forgetValue "print";
+val _ = PolyML.Compiler.forgetValue "ref";
+val _ = PolyML.Compiler.forgetType "ref";
 
 
 (* Compiler options *)
isabelle