$(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 \