]> matita.cs.unibo.it Git - helm.git/commit
ported to the IEEE latex8 style
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Feb 2006 10:49:28 +0000 (10:49 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 2 Feb 2006 10:49:28 +0000 (10:49 +0000)
commit5104e38ee747fd1052ce21f3f9f2ecc778d590ba
tree23d9fb22cb26147ca785a13bc60ebe4afdf8890f
parent6355ac16ff3996e16d9d9cfb08e4184bc7962f8b
ported to the IEEE latex8 style
helm/papers/system_T/Latex8.ps [new file with mode: 0644]
helm/papers/system_T/Latex8.txt [new file with mode: 0644]
helm/papers/system_T/latex8.bib [new file with mode: 0644]
helm/papers/system_T/latex8.bst [new file with mode: 0644]
helm/papers/system_T/latex8.sty [new file with mode: 0644]
helm/papers/system_T/latex8.tex [new file with mode: 0644]
helm/papers/system_T/t.tex