helm/papers/matita/.cvsignore

   1 matita.aux
   2 matita.bbl
   3 matita.blg
   4 matita.dvi
   5 matita.log
   6 matita.out
   7 matita.ps
   8 matita.pdf
   9 matita2.aux
  10 matita2.bbl
  11 matita2.blg
  12 matita2.dvi
  13 matita2.log
  14 matita2.out
  15 matita2.ps
  16 matita2.pdf