projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 23 Jul 2007 13:22:22 +0000 (13:22 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Mon, 23 Jul 2007 13:22:22 +0000 (13:22 +0000) | ||
| commit | 550237e316a5c35b193ecc6166264fa3133f0c40 | |
| tree | 553514bd0ae64fbe52239e94f8b1657215b2a517 | tree | snapshot |
| parent | 49e72b6a1c126e7e34323b64decad10d46d93f97 | commit | diff |
| helm/software/matita/tests/fguidi.ma | diff | blob | history |