From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 20 Dec 2000 14:55:56 +0000 (+0000)
Subject: uwobo added
X-Git-Tag: nogzip~85
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=3109dbd76b444a20c81e1d285719c82bf7cf8a2d;p=helm.git

uwobo added
---

diff --git a/helm/xsltd/Makefile b/helm/xsltd/Makefile
index 794aa2310..bd50ad7cc 100644
--- a/helm/xsltd/Makefile
+++ b/helm/xsltd/Makefile
@@ -29,6 +29,14 @@ start-xaland-old:
          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_content.xsl \
          $(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
 
+start-xaland-uwobo:
+	java -ss1024K -oss8192K \
+           xaland_uwobo 12345 12346 12347 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
 start-xaland3:
 	java xaland 12347 12348 \
            $(HELM_STYLES_DIR)/rootcontent.xsl \