projects / helm.git / commit
| author | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 6 Jul 2006 08:18:26 +0000 (08:18 +0000) | ||
| committer | Enrico Tassi <enrico.tassi@inria.fr> | |
| Thu, 6 Jul 2006 08:18:26 +0000 (08:18 +0000) | ||
| commit | 366d9ed0126462232d5bca9322c1250792f4f0f9 | |
| tree | 632ba233f457ef920e63ac524aa79a5a60ad8c41 | tree | snapshot |
| parent | 14d7eabdb425c4dbcda5de18fac0735fde5d176b | commit | diff |
| helm/software/matita/tests/tinycals.ma | [new file with mode: 0644] | blob |