xaland-* moved in xsltd repository

[helm.git] / helm / interface / Makefile

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index 942b0ca655f87d15f4521be5fd3d8f2b3e509f89..14ca2eb19e90246b89ffcdb743067424d64f2619 100644 (file)
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -169,34 +169,4 @@ clean:
            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