projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 22 Aug 2005 08:43:01 +0000 (08:43 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Mon, 22 Aug 2005 08:43:01 +0000 (08:43 +0000) | ||
| commit | 3f2e93e2751e2bce2518502933b7169f99f2dbeb | |
| tree | 0dd9487ec6859a83ddeafb026b6fff4fd1c1a145 | tree | snapshot |
| parent | dc93c2cd98a57f17a452a461c6bcfaa7ec185427 | commit | diff |
| helm/matita/tests/fguidi.ma | diff | blob | history |