From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 12 Nov 2001 09:48:12 +0000 (+0000)
Subject: Version 1.2.1beta => 1.2.1
X-Git-Tag: uwobo_pre_ocaml~1
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e4ea08104e12e2d9e546f37e2d4fbb4febe75d29;p=helm.git

Version 1.2.1beta => 1.2.1
---

diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml
index 52c3557d0..634c6233f 100644
--- a/helm/uwobo/build.xml
+++ b/helm/uwobo/build.xml
@@ -4,7 +4,7 @@
 
 	<property name="Name" value="Uwobo"/>
 	<property name="name" value="uwobo"/>
-	<property name="version" value="1.2.1beta"/>
+	<property name="version" value="1.2.1"/>
 	<property name="serialization_dir" value=""/>
 
 	<property file=".${name}.properties" />