]>
author | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 27 Jun 2005 10:03:16 +0000 (10:03 +0000) | ||
committer | Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it> | |
Mon, 27 Jun 2005 10:03:16 +0000 (10:03 +0000) | ||
commit | cc7e298cf9d19f6f7230a4796b945836c30f1ccd | |
tree | a3b516127532658952a0978c2cf3b0cb9ea26d2e | tree | snapshot |
parent | 974deb534307c34492b516999d09c409ff570bb8 | commit | diff |
helm/matita/scripts/do_tests.sh | diff | blob | history |