projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 16 Nov 2005 16:38:42 +0000 (16:38 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 16 Nov 2005 16:38:42 +0000 (16:38 +0000) | ||
| commit | 03ba06211a6e1edb8472e785d2024a26992f2c0e | |
| tree | e57dbfa48a0f3caada67dd44db1f0a8aa6ccd4da | tree | snapshot |
| parent | 3b744d6e811f514b800c0dc3b57038f01d4ba8a6 | commit | diff |
| helm/papers/matita/matita.tex | diff | blob | history |