X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=.gitignore;h=69568a56b5df2aeffe37e685f964f3252ca6aba3;hp=a433c4179b22556d421c4e107fefea6b08fc06fd;hb=15212e44902f25536f6e2de4bec4cedcd9a9804d;hpb=8653dd54c57943e28e3ef60d2d0cbc1861a76a33 diff --git a/.gitignore b/.gitignore index a433c4179..69568a56b 100644 --- a/.gitignore +++ b/.gitignore @@ -10,6 +10,7 @@ _build *.native +*.byte matita/Makefile.defs matita/autom4te.cache @@ -34,9 +35,57 @@ matita/matita/matitaclean.opt matita/matita/help/C/version.txt -matita/matita/contribs/lambdadelta/token -matita/matita/contribs/lambdadelta/2A1 -matita/matita/contribs/lambdadelta/apps_2/notation -matita/matita/contribs/lambdadelta/apps_2/models -matita/matita/contribs/lambdadelta/ground_2/xoa/xoa2.ma -matita/matita/contribs/lambdadelta/ground_2/notation/xoa/notation2.ma +helm/software/helena/matita +helm/software/helena/scripts/lp/grundlagen_2b_lyp.elpi +helm/software/helena/scripts/lp/grundlagen_2b_ld3.elpi +helm/software/helena/scripts/lp/grundlagen_2b_pts.elpi +helm/software/helena/etc + +helm/www/lambdadelta/html +helm/www/lambdadelta/etc/BTM +helm/www/lambdadelta/etc/lambdadelta +helm/www/lambdadelta/etc/coq-contribs +helm/www/lambdadelta/etc/*.stamp +helm/www/lambdadelta/etc/*.tar.bz2 +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 +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_src.xsl +helm/www/lambdadelta/xslt/ground_sum.xsl +helm/www/lambdadelta/xslt/basic_1_blk.xsl +helm/www/lambdadelta/xslt/basic_1_src.xsl +helm/www/lambdadelta/xslt/basic_1_sum.xsl +helm/www/lambdadelta/xslt/ground_1_src.xsl +helm/www/lambdadelta/xslt/ground_1_sum.xsl +helm/www/lambdadelta/xslt/alpha_1_sum.xsl +helm/www/lambdadelta/xslt/documentation_1.xsl +helm/www/lambdadelta/xslt/documentation_2.xsl +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/lib/lambda/.depend + +matita/matita/contribs/lambdadelta/.depend +matita/matita/contribs/lambdadelta/bin/recomm/srcs +matita/matita/contribs/lambdadelta/bin/recomm/log.txt +matita/matita/contribs/lambdadelta/bin/nodes +matita/matita/contribs/lambdadelta/bin/token +matita/matita/contribs/lambdadelta/*/probe.txt +matita/matita/contribs/lambdadelta/*/deps.txt +matita/matita/contribs/lambdadelta/*/web/*_sum.tbl + +matita/matita/contribs/convergence/