projects / helm.git / commit
| author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 May 2009 11:52:47 +0000 (11:52 +0000) | ||
| committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
| Tue, 26 May 2009 11:52:47 +0000 (11:52 +0000) | ||
| commit | bbbce43b0a27ea3d9b261803f6ce48641ab7998b | |
| tree | 2cfd9821589dac4204e3b9de4ca592745cb355f0 | tree | snapshot |
| parent | 6901cc3ca6c2ceb1250fbfce10e632a9af1e9603 | commit | diff |
| helm/software/matita/tests/ng_tactics.ma | diff | blob | history |