]> matita.cs.unibo.it Git - helm.git/commit
I am now using tred to remove transitive dependencies from the graph before
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 May 2007 17:48:21 +0000 (17:48 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 23 May 2007 17:48:21 +0000 (17:48 +0000)
commita282486b9f5236da5e1fdad4a652533152511975
tree11528ed24c78731fd039ca79452cdb4a9f3a0718
parent855c09b06dd6c952063e61cf00df52685f400665
I am now using tred to remove transitive dependencies from the graph before
displaying it.
helm/software/matita/contribs/formal_topology/bin/theory_explorer.ml