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 output;
authorwenzelm
Sun, 26 Mar 2000 20:12:28 +0200
changeset 8582 3051aa8aa412
parent 8581 5c7ed2af8bfb
child 8583 34c4847fd8c1
tuned output;
src/Pure/Isar/proof.ML file | annotate | diff | comparison | revisions 
--- a/src/Pure/Isar/proof.ML	Sun Mar 26 20:11:12 2000 +0200
+++ b/src/Pure/Isar/proof.ML	Sun Mar 26 20:12:28 2000 +0200
@@ -329,7 +329,7 @@
       else [];
 
     val prts =
-     [Pretty.str ("proof(" ^ mode_name mode ^ "): step " ^ string_of_int nr ^
+     [Pretty.str ("proof (" ^ mode_name mode ^ "): step " ^ string_of_int nr ^
         (if ! verbose then ", depth " ^ string_of_int (length nodes div 2)
         else "")), Pretty.str ""] @
      (if null ctxt_prts then [] else ctxt_prts @ [Pretty.str ""]) @
isabelle