projects / helm.git / commit
| 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 |