X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FproofChecker%2FproofChecker.ml;h=34904e8e0d42846bd06d37ee3fc1777de24cd5ce;hb=1f3bb366e7df77de6b5ba48e4fd3a7cb689f2ee3;hp=278413bde8fc77e4ff1a3f8e95e4d0b58c1d3547;hpb=441f9a5912f0cd27da9540b3c82e70e0e4221982;p=helm.git diff --git a/helm/proofChecker/proofChecker.ml b/helm/proofChecker/proofChecker.ml index 278413bde..34904e8e0 100644 --- a/helm/proofChecker/proofChecker.ml +++ b/helm/proofChecker/proofChecker.ml @@ -37,10 +37,10 @@ let (html_preamble, html_postamble) = Proof-Checking %s -

Proof-Checking %s:

+

Proof-Checking %s:

" uri uri)), -("

Done.

+("

Done.

END