helm/hbugs/tutors/.cvsignore

   1 *.cmi
   2 *.cmo
   3 *.cma
   4 *.cmx
   5 *.o
   6 *.a
   7 *.opt
   8 ring_tutor.ml
   9 fourier_tutor.ml
  10 reflexivity_tutor.ml
  11 symmetry_tutor.ml
  12 assumption_tutor.ml
  13 contradiction_tutor.ml
  14 exists_tutor.ml
  15 split_tutor.ml
  16 left_tutor.ml
  17 right_tutor.ml
  18 ring_tutor
  19 fourier_tutor
  20 reflexivity_tutor
  21 symmetry_tutor
  22 assumption_tutor
  23 contradiction_tutor
  24 exists_tutor
  25 split_tutor
  26 left_tutor
  27 right_tutor
  28 search_pattern_apply_tutor