added Makefile, llncs style, cvsignore

[helm.git] / helm / papers / matita / .cvsignore

diff --git a/helm/papers/matita/.cvsignore b/helm/papers/matita/.cvsignore
new file mode 100644 (file)
index 0000000..69c4dc2
--- /dev/null
+++ b/helm/papers/matita/.cvsignore
@@ -0,0 +1,4 @@
+matita.aux
+matita.dvi
+matita.log
+matita.out