X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2FSystemDescriptionMatita.html;h=ededf325cf5b0cd6c9932920a7119000f8272615;hb=186638106f23401e88e512a4a6dfd07d73d8be04;hp=4ac62f4993c86ff7cda4d415117eae01528d8cfa;hpb=0e4dbb2c911e538fcb8c8260c7d3e2be1bcc5b1e;p=helm.git

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>