]> matita.cs.unibo.it Git - helm.git/commit
Implemented topological sorting according to the dependencies.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Sep 2006 11:51:22 +0000 (11:51 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 28 Sep 2006 11:51:22 +0000 (11:51 +0000)
commit1bb5297e44de15e0885e38b6d4a0f0cde3ca1398
tree06b9fbace1bf1670ef542f978fc48bf17b704379
parente3f6d410ebe780d1b26a0bcf982ef900a94e95a7
Implemented topological sorting according to the dependencies.
components/metadata/metadataDeps.ml
components/metadata/metadataDeps.mli