]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 25f486e) | patch
Added new target "make tests" for regression testing.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Jun 2005 14:00:35 +0000 (14:00 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 8 Jun 2005 14:00:35 +0000 (14:00 +0000)
commit2bf27fdf892c66e309600400a3b3ec292f796039
tree9a8c1a50aaaac52bc8a551190595e234f00a11eetree | snapshot
parent25f486e24d9d34e85476414771b4d01d2c468299commit | diff
Added new target "make tests" for regression testing.
helm/matita/Makefile.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.