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
Fri, 15 Jul 2005 11:26:22 +0200
changeset 16858 fade1d3a2995
parent 16857 6389511d4609
child 16859 8ac6d4902b56
tuned;
Admin/profiling_report file | annotate | diff | comparison | revisions 
--- a/Admin/profiling_report	Thu Jul 14 20:32:37 2005 +0200
+++ b/Admin/profiling_report	Fri Jul 15 11:26:22 2005 +0200
@@ -27,7 +27,7 @@
 }
 
 foreach my $fun (keys %log) {
-    push @output, (sprintf "%8d %s\n", $log{$fun}, $fun);
+    push @output, (sprintf "%12d %s\n", $log{$fun}, $fun);
 }
 
 print (sort @output);
isabelle