projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 22 Jul 2006 17:17:47 +0000 (17:17 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Sat, 22 Jul 2006 17:17:47 +0000 (17:17 +0000) | ||
| commit | 3fa45cd94f60af6b221a10ac198e2a1cf17b041d | |
| tree | 91cf2c867e3778e154250c4358946dce2928f817 | tree | snapshot |
| parent | bc76b4d2f3c380894259b45fad52cf85ae6cee18 | commit | diff |
| helm/software/matita/matitaprover.ml | [new file with mode: 0644] | blob |