]> matita.cs.unibo.it Git - helm.git/commitdiff
uwobo added
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2000 14:55:56 +0000 (14:55 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Dec 2000 14:55:56 +0000 (14:55 +0000)
helm/xsltd/Makefile

index 794aa231028ea91edb1ced52b11d1bdd3919b11b..bd50ad7cc1fbee7971a4318bfddc09725d206086 100644 (file)
@@ -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 \