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