helm/matita/.cvsignore

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