]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6e4a27) | patch
Makefile improved.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Dec 2001 14:56:05 +0000 (14:56 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 3 Dec 2001 14:56:05 +0000 (14:56 +0000)
commit538b694e70fafbf298f27cf57cae13928bac95af
treebad98b03e522a7ac957f28fd50e03bd15ad78554tree | snapshot
parentf6e4a271838bc59f3b22e68a282dc995776360cbcommit | diff
Makefile improved.
helm/proofChecker/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.