]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/www/lambdadelta/Makefile
λδ-2B and λδ-ground repackaged for publication
[helm.git] / helm / www / lambdadelta / Makefile
index c654d6abf35928269b8931c6ded5b38c533dcb6b..063bdbe176ccd8ab6c306370d60ca922b6caf3b9 100644 (file)
@@ -46,7 +46,6 @@ TABLES      = $(XSLTDIR)/xhtbl.xsl
 
 SLS     = helena.sl automath.sl
 BIB     = lambdadelta.bib
-CONTRIB = lambdadelta_2.tar.gz
 
 XMLS = Environment/grundlagen_2/l/not.ld.xml \
        Environment/grundlagen_2/l/et.ld.xml \