X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=.gitignore;h=83073d3fcda2f7364a44c178ae4981b80eeb5574;hb=7bb7028a9aafcfd5c6570f4ad5ca472f19691bfc;hp=9289863663d0d3651a63ed4d64c90e2078b8f3e6;hpb=ff612dc35167ec0c145864c9aa8ae5e1ebe20a48;p=helm.git

diff --git a/.gitignore b/.gitignore
index 928986366..83073d3fc 100644
--- a/.gitignore
+++ b/.gitignore
@@ -45,6 +45,10 @@ helm/www/lambdadelta/html
 helm/www/lambdadelta/etc/BTM
 helm/www/lambdadelta/etc/lambdadelta
 helm/www/lambdadelta/etc/coq-contribs
+helm/www/lambdadelta/etc/make_html.sh
+helm/www/lambdadelta/web/lddl
+helm/www/lambdadelta/xml/Environment
+helm/www/lambdadelta/xml/index.txt
 helm/www/lambdadelta/xslt/apps_2_src.xsl
 helm/www/lambdadelta/xslt/apps_2_sum.xsl
 helm/www/lambdadelta/xslt/basic_2_blk.xsl
@@ -66,12 +70,16 @@ helm/www/lambdadelta/xslt/documentation_3.xsl
 helm/www/lambdadelta/xslt/sitemap.xsl
 helm/www/lambdadelta/xslt/versions.xsl
 helm/www/lambdadelta/xslt/core.xsl
+helm/www/lambdadelta/xslt/changes.xsl
 helm/www/lambdadelta/xslt/chc_45.xsl
 helm/www/lambdadelta/xslt/xhtbl.xsl
 
 matita/matita/contribs/lambdadelta/.depend
 matita/matita/contribs/lambdadelta/nodes
 matita/matita/contribs/lambdadelta/token
-matita/matita/contribs/lambdadelta/2A1
-matita/matita/contribs/lambdadelta/*/*_probe.txt
+matita/matita/contribs/lambdadelta/2A
+matita/matita/contribs/lambdadelta/*/probe.txt
+matita/matita/contribs/lambdadelta/*/deps.txt
 matita/matita/contribs/lambdadelta/*/web/*_sum.tbl
+
+matita/matita/contribs/convergence/