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 message;
authorwenzelm
Thu, 08 May 2014 16:28:44 +0200
changeset 56914 f371418b9641
parent 56913 df4cd6e1fdfa
child 56915 75ba0e310663
tuned message;
src/Pure/Tools/find_theorems.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/find_theorems.ML	Thu May 08 16:19:16 2014 +0200
+++ b/src/Pure/Tools/find_theorems.ML	Thu May 08 16:28:44 2014 +0200
@@ -70,7 +70,7 @@
     | Solves => Pretty.str (prfx "solves")
     | Simp pat => Pretty.block [Pretty.str (prfx "simp:"), Pretty.brk 1,
         Pretty.quote (Syntax.pretty_term ctxt (Term.show_dummy_patterns pat))]
-    | Pattern pat => Pretty.enclose (prfx " \"") "\""
+    | Pattern pat => Pretty.enclose (prfx "\"") "\""
         [Syntax.pretty_term ctxt (Term.show_dummy_patterns pat)])
   end;
isabelle