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.
Poplog/pml provides a proper print function already!
authorwenzelm
Tue, 13 Dec 2005 15:46:41 +0100
changeset 18392 fdefc3cd45c5
parent 18391 2e901da7cd3a
child 18393 af72cbfa00a5
Poplog/pml provides a proper print function already!
src/Pure/ML-Systems/poplogml.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/ML-Systems/poplogml.ML	Tue Dec 13 15:34:21 2005 +0100
+++ b/src/Pure/ML-Systems/poplogml.ML	Tue Dec 13 15:46:41 2005 +0100
@@ -24,7 +24,6 @@
 fun print_depth _ = ();
 
 fun exception_trace f = f ();
-fun print x = x;
 fun profile (n: int) f x = f x;
isabelle