.gitignore

   1 _build
   2 *.exe
   3
   4 *~
   5
   6 matita/matita/help/C/pdf-stamp
   7 matita/matita/help/C/html-stamp
   8 matita/matita/help/C/quickref-stamp
   9
  10 helm/software/helena/matita
  11 helm/software/helena/scripts/lp/grundlagen_2b_lyp.elpi
  12 helm/software/helena/scripts/lp/grundlagen_2b_ld3.elpi
  13 helm/software/helena/scripts/lp/grundlagen_2b_pts.elpi
  14 helm/software/helena/etc
  15
  16 helm/www/lambdadelta/html
  17 helm/www/lambdadelta/etc/BTM
  18 helm/www/lambdadelta/etc/lambdadelta
  19 helm/www/lambdadelta/etc/coq-contribs
  20 helm/www/lambdadelta/etc/*.stamp
  21 helm/www/lambdadelta/etc/*.tar.bz2
  22 helm/www/lambdadelta/web/lddl
  23 helm/www/lambdadelta/xml/Environment
  24 helm/www/lambdadelta/xml/index.txt
  25 helm/www/lambdadelta/xslt/apps_2_src.xsl
  26 helm/www/lambdadelta/xslt/apps_2_sum.xsl
  27 helm/www/lambdadelta/xslt/basic_2_blk.xsl
  28 helm/www/lambdadelta/xslt/basic_2_src.xsl
  29 helm/www/lambdadelta/xslt/basic_2_sum.xsl
  30 helm/www/lambdadelta/xslt/static_2_src.xsl
  31 helm/www/lambdadelta/xslt/static_2_sum.xsl
  32 helm/www/lambdadelta/xslt/basic_2A_src.xsl
  33 helm/www/lambdadelta/xslt/basic_2A_sum.xsl
  34 helm/www/lambdadelta/xslt/ground_src.xsl
  35 helm/www/lambdadelta/xslt/ground_sum.xsl
  36 helm/www/lambdadelta/xslt/basic_1_blk.xsl
  37 helm/www/lambdadelta/xslt/basic_1_src.xsl
  38 helm/www/lambdadelta/xslt/basic_1_sum.xsl
  39 helm/www/lambdadelta/xslt/ground_1_src.xsl
  40 helm/www/lambdadelta/xslt/ground_1_sum.xsl
  41 helm/www/lambdadelta/xslt/alpha_1_sum.xsl
  42 helm/www/lambdadelta/xslt/documentation_1.xsl
  43 helm/www/lambdadelta/xslt/documentation_2.xsl
  44 helm/www/lambdadelta/xslt/documentation_3.xsl
  45 helm/www/lambdadelta/xslt/sitemap.xsl
  46 helm/www/lambdadelta/xslt/versions.xsl
  47 helm/www/lambdadelta/xslt/core.xsl
  48 helm/www/lambdadelta/xslt/changes.xsl
  49 helm/www/lambdadelta/xslt/chc_45.xsl
  50 helm/www/lambdadelta/xslt/xhtbl.xsl
  51
  52 matita/matita/lib/lambda/.depend
  53
  54 matita/matita/contribs/lambdadelta/.depend
  55 matita/matita/contribs/lambdadelta/bin/recomm/srcs
  56 matita/matita/contribs/lambdadelta/bin/recomm/log.txt
  57 matita/matita/contribs/lambdadelta/bin/recomm/subst.txt
  58 matita/matita/contribs/lambdadelta/bin/recomm/subst_cn.txt
  59 matita/matita/contribs/lambdadelta/bin/nodes
  60 matita/matita/contribs/lambdadelta/bin/token
  61 matita/matita/contribs/lambdadelta/*/probe.txt
  62 matita/matita/contribs/lambdadelta/*/deps.txt
  63 matita/matita/contribs/lambdadelta/*/web/*_sum.tbl
  64
  65 matita/matita/contribs/convergence/