X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fhbugs%2Ftutors%2F.cvsignore;h=7e2e0036fd65146094c52a1d052808b3e25d9ae5;hb=1f9b11657c822cc762f808e0bfc5f5f2b4fb6ec7;hp=a3cccbc0c88ac9f2f74cd0957b07af10a9949c11;hpb=4772f0cc5107b3809128e8ed0bbef4bfffbfe1ff;p=helm.git

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