From: Luca Padovani Date: Wed, 26 May 2004 09:08:48 +0000 (+0000) Subject: * bumped to new version X-Git-Tag: pre_subst_in_kernel~84 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=c865647463d9c5d26a67b0bfbe91cc8118341ff6;p=helm.git * bumped to new version --- diff --git a/helm/uwobo/Makefile b/helm/uwobo/Makefile index e22de9f07..00b578aca 100644 --- a/helm/uwobo/Makefile +++ b/helm/uwobo/Makefile @@ -1,4 +1,4 @@ -VERSION = 0.2.1 +VERSION = 0.3.0 DISTDIR = uwobo-$(VERSION) DISTTARBALL = $(DISTDIR).tar.gz REQUIRES = http gdome2 gdome2-xslt pcre unix helm-registry diff --git a/helm/uwobo/uwobo_common.ml b/helm/uwobo/uwobo_common.ml index 4399709ed..8952f8132 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.1" ;; +let version = "0.3.0" ;; let usage_string = sprintf