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 pretty_thms;
authorwenzelm
Wed, 22 Sep 1999 21:45:35 +0200
changeset 7580 536499cf71af
parent 7579 20adf381fb0a
child 7581 18070ae7a84c
tuned pretty_thms;
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof.ML	Wed Sep 22 21:45:05 1999 +0200
+++ b/src/Pure/Isar/proof.ML	Wed Sep 22 21:45:35 1999 +0200
@@ -282,7 +282,7 @@
 val pretty_thm = ProofContext.pretty_thm;
 
 fun pretty_thms [th] = pretty_thm th
-  | pretty_thms ths = Pretty.block (Pretty.fbreaks (map pretty_thm ths));
+  | pretty_thms ths = Pretty.blk (0, Pretty.fbreaks (map pretty_thm ths));
 
 
 val verbose = ProofContext.verbose;
isabelle