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 Makefile
  17 matita
  18 .matita
  19 matitac
  20 matitac.opt
  21 matitaGeneratedGui.ml
  22 matitaGeneratedGui.mli
  23 matita.glade.bak
  24 matita.gladep
  25 matita.gladep.bak
  26 matita.opt
  27 matita.opt
  28 *.o
  29 *.swp