projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 31 Jan 2006 10:13:20 +0000 (10:13 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Tue, 31 Jan 2006 10:13:20 +0000 (10:13 +0000) | ||
| commit | ed308fc03be5397081ac0e00bbc73b3f71da1e67 | |
| tree | 28d5eb738b87692ca8d3bbee2747d03ade01e46c | tree | snapshot |
| parent | c051f623926cdc3b744c38ba393c0a9c7622d299 | commit | diff |
| helm/papers/matita/matita.bib | diff | blob | history | |
| helm/papers/matita/matita2.tex | diff | blob | history |