Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Mirabelle/lib/scripts/mirabelle.pl
changeset 32472 7b92a8b8daaf
parent 32469 1ad7d4fc0954 
--- a/src/HOL/Tools/Mirabelle/lib/scripts/mirabelle.pl	Tue Sep 01 14:10:38 2009 +0200
+++ b/src/HOL/Tools/Mirabelle/lib/scripts/mirabelle.pl	Tue Sep 01 15:20:21 2009 +0200
@@ -120,7 +120,6 @@
 foreach $name (@action_names) {
   print LOG_FILE "  $name\n";
 }
-print LOG_FILE "\n\n";
 close(LOG_FILE);
 
 my $r = system "\"$ENV{'ISABELLE_PROCESS'}\" " .
isabelle