]> matita.cs.unibo.it Git - helm.git/commit
added Makefile, llncs style, cvsignore
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Nov 2005 10:22:03 +0000 (10:22 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 10 Nov 2005 10:22:03 +0000 (10:22 +0000)
commitf7d04edd37b51a7daa4e372be9439163f92648b6
treedca85dbaff9ebcd43738e47dbd45d7c2bea1e746
parent6be8977d7ade4cb6715810ada090e16deeb8c2f0
added Makefile, llncs style, cvsignore
helm/papers/matita/.cvsignore [new file with mode: 0644]
helm/papers/matita/Makefile [new file with mode: 0644]
helm/papers/matita/llncs.cls [new file with mode: 0644]