X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile;h=98145483058d1d3e857fd49436c322363b9425d3;hb=413a5e0b1fde6296a09a6651cef7948bc408c6e4;hp=2b892e2d9fc9bfd6a794c19a0bf1b093df8c1e8c;hpb=e4ae880d435c1b46be0e900a675d2e6e4aaac837;p=helm.git

diff --git a/helm/interface/Makefile b/helm/interface/Makefile
index 2b892e2d9..981454830 100644
--- a/helm/interface/Makefile
+++ b/helm/interface/Makefile
@@ -169,6 +169,13 @@ start-xaland:
            examples/style/annotatedpres.xsl examples/style/theory_content.xsl \
            examples/style/theory_pres.xsl
 
+start-xaland-old:
+	java xaland 12345 12346 \
+         examples/style/style_prima_del_linguaggio_naturale/rootcontent.xsl \
+         examples/style/style_prima_del_linguaggio_naturale/annotatedpres.xsl \
+         examples/style/style_prima_del_linguaggio_naturale/theory_content.xsl \
+         examples/style/style_prima_del_linguaggio_naturale/theory_pres.xsl
+
 start-xaland3:
 	java xaland 12347 12348 examples/style/rootcontent.xsl \
            examples/style/annotatedpres.xsl examples/style/theory_content.xsl \