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/calculation.ML
changeset 82587 7415414bd9d8
parent 82581 0133fe6a1f55 
--- a/src/Pure/Isar/calculation.ML	Fri Apr 25 09:46:21 2025 +0200
+++ b/src/Pure/Isar/calculation.ML	Fri Apr 25 11:22:25 2025 +0200
@@ -47,7 +47,7 @@
   let val pretty_thm = Thm.pretty_thm_item ctxt in
    [Pretty.big_list "transitivity rules:" (map pretty_thm (get_trans_rules ctxt)),
     Pretty.big_list "symmetry rules:" (map pretty_thm (get_sym_rules ctxt))]
-  end |> Pretty.writeln_chunks;
+  end |> Pretty.chunks |> Pretty.writeln;
 
 
 (* access calculation *)
isabelle