]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/build.xml
- Stylesheet exceptions now printed in red.
[helm.git] / helm / uwobo / build.xml
index 9efec3c7a23d7d9e91e38259520a273f2a855de8..52c3557d0609b406ee371ed955c5224365c94bff 100644 (file)
@@ -4,7 +4,7 @@
 
        <property name="Name" value="Uwobo"/>
        <property name="name" value="uwobo"/>
-       <property name="version" value="1.2.0"/>
+       <property name="version" value="1.2.1beta"/>
        <property name="serialization_dir" value=""/>
 
        <property file=".${name}.properties" />