projects / helm.git / commit
| author | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 27 Jul 2005 08:30:07 +0000 (08:30 +0000) | ||
| committer | Stefano Zacchiroli <zack@upsilon.cc> | |
| Wed, 27 Jul 2005 08:30:07 +0000 (08:30 +0000) | ||
| commit | 5709e333b5abda18a16f83d26f3dc2911b394e28 | |
| tree | 9baccc7dd15efc4d12d07cc0f22bc6f0f98e63e2 | tree | snapshot |
| parent | c5f6ebc56b2275699a0ceeac18a53dd8370c172b | commit | diff |
| helm/matita/matita.lang | diff | blob | history |