]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/Makefile
Xalan-J-2 support added. Still too alpha to work, too.
[helm.git] / helm / interface / Makefile
index 8bb54e9add7ef8791bd3704d44f58ce4a5498c76..ba52624e25e965a0981f98faef2a064638b504e2 100644 (file)
@@ -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