]> matita.cs.unibo.it Git - helm.git/commit
ported to kluwer style
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 17 Nov 2005 14:44:47 +0000 (14:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 17 Nov 2005 14:44:47 +0000 (14:44 +0000)
commitd9f9d2b28788192dfc5b9d156c5f864648e87bd3
tree5d91925ada913986124654bbf007a876eaa7a6ad
parent383c0e6ff61664272e765bb05eb10565b66c5587
ported to kluwer style
26 files changed:
helm/papers/matita/ed.sty [new file with mode: 0644]
helm/papers/matita/klu10.clo [new file with mode: 0644]
helm/papers/matita/klu105.clo [new file with mode: 0644]
helm/papers/matita/klu11.clo [new file with mode: 0644]
helm/papers/matita/klu12.clo [new file with mode: 0644]
helm/papers/matita/klu9.clo [new file with mode: 0644]
helm/papers/matita/kluedit.sty [new file with mode: 0644]
helm/papers/matita/klufloa.sty [new file with mode: 0644]
helm/papers/matita/klulist.sty [new file with mode: 0644]
helm/papers/matita/klumac.sty [new file with mode: 0644]
helm/papers/matita/klumath.sty [new file with mode: 0644]
helm/papers/matita/klunamed.bst [new file with mode: 0644]
helm/papers/matita/klunote.sty [new file with mode: 0644]
helm/papers/matita/klunum.bst [new file with mode: 0644]
helm/papers/matita/kluopen.sty [new file with mode: 0644]
helm/papers/matita/klups.sty [new file with mode: 0644]
helm/papers/matita/kluref.sty [new file with mode: 0644]
helm/papers/matita/klusec.sty [new file with mode: 0644]
helm/papers/matita/klut10.clo [new file with mode: 0644]
helm/papers/matita/klut11.clo [new file with mode: 0644]
helm/papers/matita/klut12.clo [new file with mode: 0644]
helm/papers/matita/klut9.clo [new file with mode: 0644]
helm/papers/matita/klutab.sty [new file with mode: 0644]
helm/papers/matita/kluwer.cls [new file with mode: 0644]
helm/papers/matita/llncs.cls [deleted file]
helm/papers/matita/matita.tex