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.
'note': Toplevel.print;
authorwenzelm
Tue, 01 Jun 1999 18:12:45 +0200
changeset 6755 9f830d69a46d
parent 6754 c23c542a32e5
child 6756 fe6eb161df3e
'note': Toplevel.print;
src/Pure/Isar/isar_syn.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/isar_syn.ML	Tue Jun 01 18:01:01 1999 +0200
+++ b/src/Pure/Isar/isar_syn.ML	Tue Jun 01 18:12:45 1999 +0200
@@ -282,7 +282,7 @@
 
 val factsP =
   OuterSyntax.command "note" "define facts" K.prf_decl
-    (facts -- P.marg_comment >> (Toplevel.proof o IsarThy.have_facts));
+    (facts -- P.marg_comment >> (Toplevel.print oo (Toplevel.proof o IsarThy.have_facts)));
 
 
 (* proof context *)
isabelle