]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 56596fe) | patch
kind=dc implemented.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 12:42:04 +0000 (12:42 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Mon, 23 Feb 2004 12:42:04 +0000 (12:42 +0000)
commit33036a1e6428d09d3ce35a820c983bf25107a136
treede7878a0ae395299d6cc275e9a61ee39bae80654tree | snapshot
parent56596fe01a41313f91ca8fea870c21bcea0c372ccommit | diff
kind=dc implemented.
helm/DEVEL/rdfly/rdfly.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.