X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2FMakefile;h=c5a65b032ce300f12d56a71418730fb4278f7947;hb=72cd94b68037956a70b98cfa54f316fd54e52bae;hp=5e393c2a97efd3397cafd2993ef110032e6dc8e7;hpb=1eb00eff3c3a5f67c3a200a82098c97f4fbe0c5e;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/Makefile b/helm/software/components/binaries/matitaprover/Makefile
index 5e393c2a9..c5a65b032 100644
--- a/helm/software/components/binaries/matitaprover/Makefile
+++ b/helm/software/components/binaries/matitaprover/Makefile
@@ -1,5 +1,5 @@
 DATE=$(shell date +%y%m%d)
-VERSION=0.5.7
+VERSION=1.0.0-rc1
 DIST=matitaprover---$(VERSION)
 
 all: