From 9f3a23fd1a0a65957c8126716c0c6c045051f70c Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 1 Jul 2009 16:13:33 +0000
Subject: [PATCH] ...

---
 .../binaries/matitaprover/SystemDescriptionMatita.html          | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html b/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html
index 4ac62f499..ededf325c 100644
--- a/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html
+++ b/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html
@@ -1,5 +1,5 @@
 <HR><!------------------------------------------------------------------------>
-<H2>Matita (prover) 0.5.7</H2>
+<H2>Matita (prover) 1.0.0</H2>
 The HELM Team and contributors<BR>
 University of Bologna, Department of Computer Science<BR>
 
-- 
2.39.2