]>
author | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 31 Jan 2006 13:29:40 +0000 (13:29 +0000) | ||
committer | Stefano Zacchiroli <zack@upsilon.cc> | |
Tue, 31 Jan 2006 13:29:40 +0000 (13:29 +0000) | ||
commit | bb55db1e81149b7f3a58c2cd723c096883b66ab4 | |
tree | bc3a3b68c6ad4b659a499ce96f4471933875ba3a | tree | snapshot |
parent | e9933b7156fdec9df06d282b1b787dc9cb9d2e0e | commit | diff |
helm/papers/matita/matita2.tex | diff | blob | history |