projects / helm.git / commit
| author | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 15 Jun 2006 09:39:55 +0000 (09:39 +0000) | ||
| committer | Andrea Asperti <andrea.asperti@unibo.it> | |
| Thu, 15 Jun 2006 09:39:55 +0000 (09:39 +0000) | ||
| commit | 16568f4cb52cc6b2acc747fe5aceeb4bfab11191 | |
| tree | 3f01660cc3aa7aab6de7cc1d43edef45b4b584f7 | tree | snapshot |
| parent | b7ed6e0e8e98441ae0688b060196994e9a68cc72 | commit | diff |
| helm/software/matita/tests/applys.ma | [new file with mode: 0644] | blob |