]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 125e2d7) | patch
annotations: was yes or NO. It is now yes or no.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 17:05:01 +0000 (17:05 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 27 Nov 2001 17:05:01 +0000 (17:05 +0000)
commit8efd7ae18e1a9555e66254a39afadce56b74c42d
tree2060e38d6c27351d28609dc071b9042c4a02f37btree | snapshot
parent125e2d7e5055fe756c31fefaf625f63147d1bcf7commit | diff
annotations: was yes or NO. It is now yes or no.
helm/annotationHelper/cicAnnotationHelper.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.