projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 2 Jul 2008 17:54:41 +0000 (17:54 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Wed, 2 Jul 2008 17:54:41 +0000 (17:54 +0000) | ||
| commit | 1763ec847d4e9b0213d7c18ecbd4a788c00994a5 | |
| tree | 33f549f3b6c48c8d855c5aa21a4aa99868405018 | tree | snapshot |
| parent | 3b8d99d5fdb79a5d979a8e200a4a4307fe362009 | commit | diff |
| helm/software/matita/matita.lang | diff | blob | history |