helm/hbugs/tutors/.cvsignore

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