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.
proper fbreaks (amending 53f12ab896e6);
authorwenzelm
Sun, 22 Sep 2024 14:33:03 +0200
changeset 80918 e87d96ac5277
parent 80917 2a77bc3b4eac
child 80919 1a52cc1c3274
proper fbreaks (amending 53f12ab896e6);
src/Pure/Isar/proof_context.ML file | annotate | diff | comparison | revisions 
--- 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