...

diff --git a/helm/proofChecker/proofChecker.pl b/helm/proofChecker/proofChecker.pl
index 680d260d8e20ce4ce8df8ca198299cb5d301bed1..9d6346afefb1fd855623d7d12c2b01f3f258e7da 100755 (executable)
--- a/helm/proofChecker/proofChecker.pl
+++ b/helm/proofChecker/proofChecker.pl
@@ -51,6 +51,7 @@ EOT
          print $c $_;
        }
        print $c <<EOT;
+<h1>Done.</h1>
 </body>
 </html>
 EOT