reduction.opt fix_params fix_params.opt mmlinterface \
mmlinterface.opt mmlinterface2 mmlinterface2.opt
-start-xaland:
- java -ss1024K -oss8192K \
- xaland 12345 12346 \
- $(COQV)/examples/style/rootcontent.xsl \
- $(COQV)/examples/style/annotatedpres.xsl \
- $(COQV)/examples/style/theory_content.xsl \
- $(COQV)/examples/style/theory_pres.xsl
-
-start-xaland-2:
- java -ss1024K -oss8192K \
- xaland2 12345 12346 \
- $(COQV)/examples/style/rootcontent.xsl \
- $(COQV)/examples/style/annotatedpres.xsl \
- $(COQV)/examples/style/theory_content.xsl \
- $(COQV)/examples/style/theory_pres.xsl
-
-start-xaland-old:
- java xaland 12345 12346 \
- $(COQV)/examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
- $(COQV)/examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
- $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
- $(COQV)/examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl
-
-start-xaland3:
- java xaland 12347 12348 \
- $(COQV)/examples/style/rootcontent.xsl \
- $(COQV)/examples/style/annotatedpres.xsl \
- $(COQV)/examples/style/theory_content.xsl \
- $(COQV)/examples/style/theory_pres.xsl
-
include .depend