...

diff --git a/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html b/helm/software/components/binaries/matitaprover/SystemDescriptionMatita.html
index 4ac62f4993c86ff7cda4d415117eae01528d8cfa..ededf325cf5b0cd6c9932920a7119000f8272615 100644 (file)
--- 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>