]> matita.cs.unibo.it Git - helm.git/commit
/me finished reviewing ...
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 31 Jan 2006 13:29:40 +0000 (13:29 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 31 Jan 2006 13:29:40 +0000 (13:29 +0000)
commitbb55db1e81149b7f3a58c2cd723c096883b66ab4
treebc3a3b68c6ad4b659a499ce96f4471933875ba3a
parente9933b7156fdec9df06d282b1b787dc9cb9d2e0e
/me finished reviewing ...
helm/papers/matita/matita2.tex