]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/papers/matita/.cvsignore
Da capo (matita2.tex).
[helm.git] / helm / papers / matita / .cvsignore
index 0964fd233241de1f1b540e3e321b3fe8c61200f7..db408ffbbfafe800da583b82fb13c1800aa4f4c1 100644 (file)
@@ -4,3 +4,13 @@ matita.blg
 matita.dvi
 matita.log
 matita.out
+matita.ps
+matita.pdf
+matita2.aux
+matita2.bbl
+matita2.blg
+matita2.dvi
+matita2.log
+matita2.out
+matita2.ps
+matita2.pdf