helm/ocaml/.cvsignore

   1 META.helm-cic
   2 META.helm-cic_annotations
   3 META.helm-cic_annotations_cache
   4 META.helm-cic_cache
   5 META.helm-cic_proof_checking
   6 META.helm-cic_textual_parser
   7 META.helm-cic_unification
   8 META.helm-getter
   9 META.helm-mathql
  10 META.helm-mathql_interpreter
  11 META.helm-mquery_generator
  12 META.helm-pxp
  13 META.helm-tactics
  14 META.helm-urimanager
  15 META.helm-xml
  16 Makefile
  17 Makefile.common
  18 autom4te.cache
  19 config.cache
  20 config.log
  21 config.status
  22 configure