.gitignore

   1 *.o
   2 *.a
   3 *.cmx
   4 *.cmo
   5 *.cmi
   6 *.cmxa
   7 *.cma
   8
   9 *~
  10
  11 _build
  12 *.native
  13 *.byte
  14
  15 matita/Makefile.defs
  16 matita/autom4te.cache
  17 matita/components/METAS/META*
  18 matita/config.log
  19 matita/configure
  20
  21 matita/components/extlib/componentsConf.ml
  22 matita/matita/matitaGeneratedGui.ml
  23 matita/matita/matita.conf.xml
  24 matita/matita/buildTimeConf.ml
  25 matita/matita/matita.glade.utf8
  26 matita/depend-stamp
  27 matita/config.status
  28
  29 matita/matita/matita
  30 matita/matita/matitac
  31 matita/matita/matita.opt
  32 matita/matita/matitac.opt
  33 matita/matita/matitaclean
  34 matita/matita/matitaclean.opt
  35
  36 matita/matita/help/C/version.txt
  37
  38 helm/software/helena/matita
  39
  40 matita/matita/contribs/lambdadelta/token
  41 matita/matita/contribs/lambdadelta/2A1
  42 matita/matita/contribs/lambdadelta/apps_2/notation
  43 matita/matita/contribs/lambdadelta/apps_2/models
  44 matita/matita/contribs/lambdadelta/ground_2/xoa/xoa2.ma
  45 matita/matita/contribs/lambdadelta/ground_2/notation/xoa/notation2.ma