+JAVADIR = /opt/java/jdk1.3/bin
+HELM_STYLES_DIR = file:/home/lpadovan/miohelm/style
+
start-xaland:
java -ss1024K -oss8192K \
xaland 12345 12346 \
$(HELM_STYLES_DIR)/style_prima_del_linguaggio_naturale/theory_pres.xsl
start-xaland-uwobo:
- java -ss1024K -oss8192K \
+ $(JAVADIR)/java -ss1024K -oss8192K \
xaland_uwobo 12345 12346 12347 \
$(HELM_STYLES_DIR)/rootcontent.xsl \
$(HELM_STYLES_DIR)/annotatedpres.xsl \