]> matita.cs.unibo.it Git - helm.git/commit
community review, solved a couple of TODO
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Jan 2006 15:50:06 +0000 (15:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 31 Jan 2006 15:50:06 +0000 (15:50 +0000)
commit57d038849d866853795522e360723a881c2d4831
treee0733aca870f5ee6b81b76f4b258ed4158ea2fb7
parentbb55db1e81149b7f3a58c2cd723c096883b66ab4
community review, solved a couple of TODO
helm/papers/matita/matita.bib
helm/papers/matita/matita2.bbl
helm/papers/matita/matita2.tex