From 1f3bb366e7df77de6b5ba48e4fd3a7cb689f2ee3 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Fri, 28 May 2004 13:27:15 +0000 Subject: [PATCH 1/1]

==>

--- helm/proofChecker/proofChecker.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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:

" uri uri)), -("

Done.

+("

Done.

END -- 2.39.2