projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 22 Jun 2005 14:20:06 +0000 (14:20 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Wed, 22 Jun 2005 14:20:06 +0000 (14:20 +0000) | ||
| commit | 9a960326e6cbdc9f21d35843d55ea5593ffe0c1b | |
| tree | a90f4ddf463b669df680d0e6ea144862dc9e095d | tree | snapshot |
| parent | 3a01bd3bb2a1d7b891b6c8b024bf6975d86d2a1f | commit | diff |
| helm/matita/tests/auto.ma | [new file with mode: 0755] | blob |