X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2F.cvsignore;h=601448cb6d9d566b5df97b2130bf233e3655c239;hb=1fb8d0192e1f7ee891c53dc282c9c9f111e63e3c;hp=a3cccbc0c88ac9f2f74cd0957b07af10a9949c11;hpb=ed90e027472d0250d45ae7200600c8804dd476f1;p=helm.git

diff --git a/helm/hbugs/tutors/.cvsignore b/helm/hbugs/tutors/.cvsignore
index a3cccbc0c..601448cb6 100644
--- a/helm/hbugs/tutors/.cvsignore
+++ b/helm/hbugs/tutors/.cvsignore
@@ -1,6 +1,29 @@
+*.environment
 *.cmi
 *.cmo
 *.cma
 *.cmx
 *.o
 *.a
+*.opt
+ring_tutor.ml
+fourier_tutor.ml
+reflexivity_tutor.ml
+symmetry_tutor.ml
+assumption_tutor.ml
+contradiction_tutor.ml
+exists_tutor.ml
+split_tutor.ml
+left_tutor.ml
+right_tutor.ml
+ring_tutor
+fourier_tutor
+reflexivity_tutor
+symmetry_tutor
+assumption_tutor
+contradiction_tutor
+exists_tutor
+split_tutor
+left_tutor
+right_tutor
+search_pattern_apply_tutor