projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 30 Jan 2006 14:23:36 +0000 (14:23 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Mon, 30 Jan 2006 14:23:36 +0000 (14:23 +0000) | ||
| commit | 112afe13b5aef27425d1a0bc9c71a70b491069bf | |
| tree | f987f253ad7014242f03a97efafafd1576e2c2e9 | tree | snapshot |
| parent | ecae84bd553e50c3182697e994ea28ae2d18d68f | commit | diff |
| helm/papers/matita/matita.bib | diff | blob | history |