]> matita.cs.unibo.it Git - helm.git/commitdiff
* bumped to new version
authorLuca Padovani <luca.padovani@unito.it>
Wed, 26 May 2004 09:08:48 +0000 (09:08 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 26 May 2004 09:08:48 +0000 (09:08 +0000)
helm/uwobo/Makefile
helm/uwobo/uwobo_common.ml

index e22de9f07961707cd47d3b5df00b3341b50aa352..00b578aca1add15e7366fddb55eef5d335dae969 100644 (file)
@@ -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
index 4399709ed43f3f758ad1865224caa1db7d40847f..8952f8132c11954a5ce54d468d60e4f3cd2fcde3 100644 (file)
@@ -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