]> 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)
commitf998e3da4179cbff6b3c3ec871c5892d0a76adbf
tree9fe3950cca81f13ccb8930c46b862490c57487a7
parent041ad23b567b9844ec187ad436595868441802f4
Implemented topological sorting according to the dependencies.
helm/software/components/metadata/metadataDeps.ml
helm/software/components/metadata/metadataDeps.mli