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;
authorwenzelm
Thu, 30 May 2013 22:15:06 +0200
changeset 52261 3de2666b089d
parent 52260 e7c47fe56fbd
child 52262 f22d227a090c
tuned;
src/HOL/Spec_Check/output_style.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Spec_Check/output_style.ML	Thu May 30 22:11:29 2013 +0200
+++ b/src/HOL/Spec_Check/output_style.ML	Thu May 30 22:15:06 2013 +0200
@@ -40,7 +40,8 @@
 
         fun ratio (0, _) = "(0/0 passed)"
           | ratio (count, 0) = "(" ^ string_of_int count ^ " passed)"
-          | ratio (count, n) = "(" ^ string_of_int (count - n) ^ "/" ^ string_of_int count ^  " passed)"
+          | ratio (count, n) =
+              "(" ^ string_of_int (count - n) ^ "/" ^ string_of_int count ^  " passed)"
 
         fun update (stats, badobjs) donep =
           "\r" ^ StringCvt.padRight #"." namew tag ^ "." ^
isabelle