.gitignore

   1 *.o
   2 *.a
   3 *.cmx
   4 *.cmo
   5 *.cmi
   6 *.cmxa
   7 *.cma
   8 *.exe
   9
  10 *~
  11
  12 _build
  13 *.native
  14 *.byte
  15
  16 matita/Makefile.defs
  17 matita/autom4te.cache
  18 matita/components/METAS/META*
  19 matita/config.log
  20 matita/configure
  21
  22 matita/components/extlib/componentsConf.ml
  23 matita/matita/matitaGeneratedGui.ml
  24 matita/matita/matita.conf.xml
  25 matita/matita/matita.glade.utf8
  26 matita/depend-stamp
  27 matita/config.status
  28
  29 matita/matita/help/C/pdf-stamp
  30 matita/matita/help/C/html-stamp
  31 matita/matita/help/C/quickref-stamp
  32
  33 matita/matita/matita
  34 matita/matita/matita.opt
  35 matita/matita/matitac
  36 matita/matita/matitac.opt
  37 matita/matita/matitaclean
  38 matita/matita/matitaclean.opt
  39
  40 matita/matita/help/C/version.txt
  41
  42 helm/software/helena/matita
  43 helm/software/helena/scripts/lp/grundlagen_2b_lyp.elpi
  44 helm/software/helena/scripts/lp/grundlagen_2b_ld3.elpi
  45 helm/software/helena/scripts/lp/grundlagen_2b_pts.elpi
  46 helm/software/helena/etc
  47
  48 helm/www/lambdadelta/html
  49 helm/www/lambdadelta/etc/BTM
  50 helm/www/lambdadelta/etc/lambdadelta
  51 helm/www/lambdadelta/etc/coq-contribs
  52 helm/www/lambdadelta/etc/*.stamp
  53 helm/www/lambdadelta/etc/*.tar.bz2
  54 helm/www/lambdadelta/web/lddl
  55 helm/www/lambdadelta/xml/Environment
  56 helm/www/lambdadelta/xml/index.txt
  57 helm/www/lambdadelta/xslt/apps_2_src.xsl
  58 helm/www/lambdadelta/xslt/apps_2_sum.xsl
  59 helm/www/lambdadelta/xslt/basic_2_blk.xsl
  60 helm/www/lambdadelta/xslt/basic_2_src.xsl
  61 helm/www/lambdadelta/xslt/basic_2_sum.xsl
  62 helm/www/lambdadelta/xslt/static_2_src.xsl
  63 helm/www/lambdadelta/xslt/static_2_sum.xsl
  64 helm/www/lambdadelta/xslt/basic_2A_src.xsl
  65 helm/www/lambdadelta/xslt/basic_2A_sum.xsl
  66 helm/www/lambdadelta/xslt/ground_src.xsl
  67 helm/www/lambdadelta/xslt/ground_sum.xsl
  68 helm/www/lambdadelta/xslt/basic_1_blk.xsl
  69 helm/www/lambdadelta/xslt/basic_1_src.xsl
  70 helm/www/lambdadelta/xslt/basic_1_sum.xsl
  71 helm/www/lambdadelta/xslt/ground_1_src.xsl
  72 helm/www/lambdadelta/xslt/ground_1_sum.xsl
  73 helm/www/lambdadelta/xslt/alpha_1_sum.xsl
  74 helm/www/lambdadelta/xslt/documentation_1.xsl
  75 helm/www/lambdadelta/xslt/documentation_2.xsl
  76 helm/www/lambdadelta/xslt/documentation_3.xsl
  77 helm/www/lambdadelta/xslt/sitemap.xsl
  78 helm/www/lambdadelta/xslt/versions.xsl
  79 helm/www/lambdadelta/xslt/core.xsl
  80 helm/www/lambdadelta/xslt/changes.xsl
  81 helm/www/lambdadelta/xslt/chc_45.xsl
  82 helm/www/lambdadelta/xslt/xhtbl.xsl
  83
  84 matita/matita/lib/lambda/.depend
  85
  86 matita/matita/contribs/lambdadelta/.depend
  87 matita/matita/contribs/lambdadelta/bin/recomm/srcs
  88 matita/matita/contribs/lambdadelta/bin/recomm/log.txt
  89 matita/matita/contribs/lambdadelta/bin/recomm/subst.txt
  90 matita/matita/contribs/lambdadelta/bin/recomm/subst_cn.txt
  91 matita/matita/contribs/lambdadelta/bin/nodes
  92 matita/matita/contribs/lambdadelta/bin/token
  93 matita/matita/contribs/lambdadelta/*/probe.txt
  94 matita/matita/contribs/lambdadelta/*/deps.txt
  95 matita/matita/contribs/lambdadelta/*/web/*_sum.tbl
  96
  97 matita/matita/contribs/convergence/