]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/build.xml
1) New syntax: methods add, reload and remove can now process multiple
[helm.git] / helm / uwobo / build.xml
index de9d59a8764b0ba05d1971d99ad7b9b7e08c4643..abdcdc858d10ce1dfd994447a890e6f7034465fb 100644 (file)
@@ -4,7 +4,8 @@
 
        <property name="Name" value="Uwobo"/>
        <property name="name" value="uwobo"/>
-       <property name="version" value="1.1.14beta"/>
+       <property name="version" value="1.2"/>
+       <property name="serialization_dir" value=""/>
 
        <property file=".${name}.properties" />
        <property file="${user.home}/.${name}.properties" />
@@ -63,6 +64,7 @@
                <filter token="VERSION" value="${version}" />
                <filter token="DATE" value="${TODAY}" />
                <filter token="TIME" value="${TSTAMP}" />
+                <filter token="SERIALIZATION_DIR" value="${serialization_dir}" />
                <copy todir="${build.dir}" overwrite="true" filtering="on">
                        <fileset dir="${src.dir}">
                                <include name="**/properties.txt" />