X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fxsltd%2FMakefile;h=bd50ad7cc1fbee7971a4318bfddc09725d206086;hb=7b83cb1e4d697cd716a0d073931a5a3ac885d3e7;hp=83c51d9d5a34aa5b19838487aad6b8a125ce45fd;hpb=cd3f2cc347f7d74ad8bf8146f03dd21c6cf7b9a8;p=helm.git

diff --git a/helm/xsltd/Makefile b/helm/xsltd/Makefile
index 83c51d9d5..bd50ad7cc 100644
--- a/helm/xsltd/Makefile
+++ b/helm/xsltd/Makefile
@@ -6,6 +6,14 @@ start-xaland:
            $(HELM_STYLES_DIR)/theory_content.xsl \
            $(HELM_STYLES_DIR)/theory_pres.xsl
 
+start-xaland-DOM:
+	java -ss1024K -oss8192K \
+           xaland_DOM 12345 12346 \
+           $(HELM_STYLES_DIR)/rootcontent.xsl \
+           $(HELM_STYLES_DIR)/annotatedpres.xsl \
+           $(HELM_STYLES_DIR)/theory_content.xsl \
+           $(HELM_STYLES_DIR)/theory_pres.xsl
+
 start-xaland-2:
 	java -ss1024K -oss8192K \
            xaland2 12345 12346 \
@@ -21,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 \