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 gtkmathview.matita.conf.xml
  17 Makefile
  18 matita
  19 .matita
  20 matitac
  21 matitaclean
  22 matitaclean.opt
  23 matita.conf.xml
  24 matita.conf.xml
  25 matita.conf.xml.sample
  26 matitac.opt
  27 matitadep
  28 matitadep.opt
  29 matitaGeneratedGui.ml
  30 matitaGeneratedGui.mli
  31 matita.glade.bak
  32 matita.gladep
  33 matita.gladep.bak
  34 matitamake
  35 matitamake.opt
  36 matita.opt
  37 matita.opt
  38 dump_moo
  39 dump_moo.opt
  40 matitatop
  41 *.moo
  42 *.o
  43 *.static
  44 *.swp
  45 *.upx