fixed a typo (inside a comment)

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

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