]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/uwobo_common.ml
ocaml 3.09 transition
[helm.git] / helm / uwobo / uwobo_common.ml
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