]> matita.cs.unibo.it Git - helm.git/commit
reviewer compilation/decompilation part
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Jan 2006 12:45:55 +0000 (12:45 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 23 Jan 2006 12:45:55 +0000 (12:45 +0000)
commit72789e6d0eca89aa6629b387da141feac426ba20
tree21df6807553ea56ab129f6dce0696d8e3193eb04
parent34dbef19bdb8726cab7af14bff72dd4573c1d365
reviewer compilation/decompilation part
helm/papers/matita/matita2.tex