]> matita.cs.unibo.it Git - helm.git/blobdiff - .gitignore
milestone update in ground_2 and basic_2A
[helm.git] / .gitignore
index c0ab80566338334fcc3df82d7d9182d1e207e842..c9ebefc8e6b1004ea3b3f5b90bf894a5979b4ff0 100644 (file)
@@ -57,6 +57,8 @@ helm/www/lambdadelta/xslt/basic_2_src.xsl
 helm/www/lambdadelta/xslt/basic_2_sum.xsl
 helm/www/lambdadelta/xslt/static_2_src.xsl
 helm/www/lambdadelta/xslt/static_2_sum.xsl
+helm/www/lambdadelta/xslt/basic_2A_src.xsl
+helm/www/lambdadelta/xslt/basic_2A_sum.xsl
 helm/www/lambdadelta/xslt/ground_2_src.xsl
 helm/www/lambdadelta/xslt/ground_2_sum.xsl
 helm/www/lambdadelta/xslt/basic_1_blk.xsl