]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf299c7) | patch
Ported to separate compilation and the new getter implementation.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 10:11:53 +0000 (10:11 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 5 Jul 2005 10:11:53 +0000 (10:11 +0000)
commitd4c4624f1d083e4ebcba6c276e6caa1972b627dc
tree5d1685db0b9a537048cbcb4bbc3d10851d385ecftree | snapshot
parentbf299c70cb9ff4e73f1a31156e4e7a19221859d7commit | diff
Ported to separate compilation and the new getter implementation.
helm/matita/scripts/profile_cvs.sh diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.