projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 15 Nov 2005 18:14:57 +0000 (18:14 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Tue, 15 Nov 2005 18:14:57 +0000 (18:14 +0000) | ||
| commit | 2a81818cb4b942c35a1cfa88121e561309e59172 | |
| tree | 8a6461049aff73d59d1a42c0cbadccad959d02bd | tree | snapshot |
| parent | ceb977d9f052e99b0e473c5484578eaaf307a4f6 | commit | diff |
| helm/papers/matita/matita.bib | [new file with mode: 0644] | blob |
| helm/papers/matita/matita.tex | diff | blob | history |