projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 14 Nov 2008 20:26:02 +0000 (20:26 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Fri, 14 Nov 2008 20:26:02 +0000 (20:26 +0000) | ||
| commit | d5216e897267e4495290ecbf08eb9f88f6815a0c | |
| tree | b18ca7cc98baf1a7b2aca9e4c08a9c9e764a5b05 | tree | snapshot |
| parent | 3007de3f032ea2349cb2f8fffc76b18d26895f36 | commit | diff |
| helm/software/matita/tests/luo.ma | [new file with mode: 0644] | blob |