X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fuwobo%2Fbuild.xml;h=634c6233f86da5d6200afdaf48018dd25504afcc;hb=4c9123ced31cede42e5cc1e19d701a6f6e5e9d6b;hp=c021b0b46556e48c41e29ea547fdef8f476f058d;hpb=02bc1a8c06b2d2c5169c9f1beecf9daa94a85247;p=helm.git
diff --git a/helm/uwobo/build.xml b/helm/uwobo/build.xml
index c021b0b46..634c6233f 100644
--- a/helm/uwobo/build.xml
+++ b/helm/uwobo/build.xml
@@ -4,7 +4,8 @@
-
+
+
@@ -63,6 +64,7 @@
+
@@ -136,6 +138,8 @@
+
+
@@ -151,6 +155,7 @@
+
@@ -159,6 +164,7 @@
+