Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/Isar/proof_context.ML
changeset 80918 e87d96ac5277
parent 80910 406a85a25189
child 81116 0fb1e2dd4122 
--- a/src/Pure/Isar/proof_context.ML	Fri Sep 20 23:37:00 2024 +0200
+++ b/src/Pure/Isar/proof_context.ML	Sun Sep 22 14:33:03 2024 +0200
@@ -463,7 +463,7 @@
      | (a, [th]) =>
         Pretty.block [pretty_fact_name ctxt a, Pretty.str ":", Pretty.brk 1, pretty_thm th]
      | (a, ths) =>
-        Pretty.block (Pretty.fbreaks (pretty_fact_name ctxt a :: Pretty.str ":" :: pretty_thms ths))
+        Pretty.block (pretty_fact_name ctxt a :: Pretty.fbreaks (Pretty.str ":" :: pretty_thms ths))
   end;
isabelle