...

diff --git a/helm/ocaml/cic_proof_checking/.cvsignore b/helm/ocaml/cic_proof_checking/.cvsignore
index 1e0e8c7f03b8465ffc45567e33ba2270b58f0a37..333bd154edced8103f6a521c20281f8ddd5ee5d5 100644 (file)
--- a/helm/ocaml/cic_proof_checking/.cvsignore
+++ b/helm/ocaml/cic_proof_checking/.cvsignore
@@ -1,2 +1,4 @@
 *.cm[iaox] *.cmxa
 cicReduction.ml
+.dep.dot
+cic_proof_checking.ps

diff --git a/helm/ocaml/tactics/.cvsignore b/helm/ocaml/tactics/.cvsignore
index f83e2a8d0d7b64297deffac88a0763aa92f15577..8d98e3ef1ab95148e08fe1a3ec91e1225643ddda 100644 (file)
--- a/helm/ocaml/tactics/.cvsignore
+++ b/helm/ocaml/tactics/.cvsignore
@@ -5,3 +5,5 @@
 *.cmxa
 *.o
 *.a
+.dep.dot
+tactics.ps