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 prths;
authorwenzelm
Wed, 12 Nov 1997 16:21:15 +0100
changeset 4210 abce78c8a931
parent 4209 4e0c98184285
child 4211 6ae637493076
tuned prths;
src/Pure/display.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/display.ML	Wed Nov 12 16:20:49 1997 +0100
+++ b/src/Pure/display.ML	Wed Nov 12 16:21:15 1997 +0100
@@ -70,7 +70,7 @@
   (Sequence.prints (fn _ => print_thm) 100000 thseq; thseq);
 
 (*Print and return a list of theorems, separated by blank lines. *)
-fun prths ths = (print_list_ln print_thm ths; ths);
+fun prths ths = (seq (fn th => (print_thm th; writeln "")) ths; ths);
 
 
 (* other printing commands *)
isabelle