From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Wed, 1 Jul 2009 13:56:38 +0000 (+0000)
Subject: Version number set to 1.0.0-rc1
X-Git-Tag: make_still_working~3761
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1d3c12109517e15a3310f0bf7a19e98992b3861c;p=helm.git

Version number set to 1.0.0-rc1
---

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: