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

diff --git a/helm/hbugs/tutors/.cvsignore b/helm/hbugs/tutors/.cvsignore
index a3cccbc0c..4b2879962 100644
--- a/helm/hbugs/tutors/.cvsignore
+++ b/helm/hbugs/tutors/.cvsignore
@@ -4,3 +4,25 @@
 *.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