helm/matita/.cvsignore

   1 matita.conf.xml
   2 *.a
   3 *.annot
   4 autom4te.cache
   5 buildTimeConf.ml
   6 cicbrowser
   7 cicbrowser.opt
   8 *.cma
   9 *.cmi
  10 *.cmo
  11 *.cmx
  12 *.cmxa
  13 config.log
  14 config.status
  15 configure
  16 .depend
  17 Makefile
  18 matita
  19 .matita
  20 matitac
  21 matitac.opt
  22 matitaGeneratedGui.ml
  23 matitaGeneratedGui.mli
  24 matita.glade.bak
  25 matita.gladep
  26 matita.gladep.bak
  27 matita.opt
  28 matita.opt
  29 matitatop
  30 matitadep
  31 matitadep.opt
  32 matitaclean
  33 matitaclean.opt
  34 matitamake
  35 matitamake.opt
  36 dump_moo
  37 *.o
  38 *.swp
  39 matita.conf.xml
  40 *.moo
  41 matita.conf.xml.sample
  42 gtkmathview.matita.conf.xml