added support for slaves killing

[helm.git] / helm / hbugs / tutors / .cvsignore

diff --git a/helm/hbugs/tutors/.cvsignore b/helm/hbugs/tutors/.cvsignore
index a3cccbc0c88ac9f2f74cd0957b07af10a9949c11..7e2e0036fd65146094c52a1d052808b3e25d9ae5 100644 (file)
--- 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