From: Claudio Sacerdoti Coen Date: Fri, 28 May 2004 13:27:15 +0000 (+0000) Subject:

==>

X-Git-Tag: pre_subst_in_kernel~53 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1f3bb366e7df77de6b5ba48e4fd3a7cb689f2ee3;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