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.
tuned;
authorwenzelm
Mon, 28 Jun 1999 23:02:03 +0200
changeset 6852 fe39a3054d82
parent 6851 526c0b90bcef
child 6853 80f88b762816
tuned;
src/Pure/Isar/proof_context.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof_context.ML	Mon Jun 28 21:48:36 1999 +0200
+++ b/src/Pure/Isar/proof_context.ML	Mon Jun 28 23:02:03 1999 +0200
@@ -117,8 +117,6 @@
     else [Pretty.string_of (Pretty.big_list name (map pretty_itms items))]
   end;
 
-val print_items = seq writeln ooo strings_of_items;
-
 
 (* term bindings *)
isabelle