projects / helm.git / commit
| author | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 10 Mar 2007 22:58:31 +0000 (22:58 +0000) | ||
| committer | Ferruccio Guidi <ferruccio.guidi@unibo.it> | |
| Sat, 10 Mar 2007 22:58:31 +0000 (22:58 +0000) | ||
| commit | a3ba17709a3bc7314f16f457ec4839e293e07b79 | |
| tree | d12fd9c1ba8b8d86aeee33df8a00ba7384e31dad | tree | snapshot |
| parent | 5cf27f4cc19d59ed91cda9d8ec7d702c32384378 | commit | diff |
| helm/software/matita/tests/rewrite.ma | diff | blob | history |