]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c290236) | patch
Better configuration management.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 15:20:07 +0000 (15:20 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 25 Oct 2002 15:20:07 +0000 (15:20 +0000)
commitcb063f95f155da1d2d8c90a6059722459dba1e2b
tree6378856edcc6f8b765fa40a19fcfd58869563ae3tree | snapshot
parentc290236ef8e2a2310e10d807a3f852c33e6bd919commit | diff
Better configuration management.
helm/proofChecker/proofChecker.pl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.