X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile;h=ba52624e25e965a0981f98faef2a064638b504e2;hb=54889b5fb4ea40df04165bcb88324c0fd271cd72;hp=8bb54e9add7ef8791bd3704d44f58ce4a5498c76;hpb=0ff06c9ed5e1f61dbf38c06ff0885cec794d7250;p=helm.git

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index 8bb54e9ad..ba52624e2 100644
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -170,7 +170,14 @@ clean:
            mmlinterface.opt mmlinterface2 mmlinterface2.opt
 
 start-xaland:
-	java xaland 12345 12346 examples/style/rootcontent.xsl \
+	java -ss1024K -oss8192K \
+           xaland 12345 12346 examples/style/rootcontent.xsl \
+           examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
+           examples/style/theory_pres.xsl
+
+start-xaland-2:
+	java -ss1024K -oss8192K \
+           xaland2 12345 12346 examples/style/rootcontent.xsl \
            examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
            examples/style/theory_pres.xsl