projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 23 Dec 2005 12:38:52 +0000 (12:38 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Fri, 23 Dec 2005 12:38:52 +0000 (12:38 +0000) | ||
| commit | 68d1ed47eccf833b912dd18e89e2c50ab677001e | |
| tree | 5b8b22d78261d4b6456266fa57b2132f3f2e10f9 | tree | snapshot |
| parent | b91f8d80f0d9b3bb67fb88ea2b9b029bb02afd26 | commit | diff |
| helm/papers/matita/a | [deleted file] | blob | history |