From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Fri, 11 Jul 2003 10:05:10 +0000 (+0000)
Subject: Version dumped.
X-Git-Tag: camera_ready~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=commitdiff_plain;h=89da6fe5cffd1fe43ef391827006f8cf3208570a

Version dumped.
---

diff --git a/helm/uwobo/Makefile b/helm/uwobo/Makefile
index 5aa0ed962..b3a989e7e 100644
--- a/helm/uwobo/Makefile
+++ b/helm/uwobo/Makefile
@@ -1,4 +1,4 @@
-VERSION = 0.2.0
+VERSION = 0.2.1
 DISTDIR = uwobo-$(VERSION)
 DISTTARBALL = $(DISTDIR).tar.gz
 REQUIRES = http gdome2 gdome2-xslt pcre unix netclient
diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml
index f7790923c..84ba19967 100644
--- a/helm/uwobo/uwobo_common.ml
+++ b/helm/uwobo/uwobo_common.ml
@@ -48,7 +48,7 @@ let supported_properties = [
 
 let is_supported_property name = List.mem name supported_properties
 
-let version = "0.2.0" ;;
+let version = "0.2.1" ;;
 
 let usage_string =
   sprintf