From 5c8fe24f1390fc77cd0b78f61a24fcbbef66ff25 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 23 May 2007 17:48:21 +0000 Subject: [PATCH] I am now using tred to remove transitive dependencies from the graph before displaying it. --- matita/contribs/formal_topology/bin/theory_explorer.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/matita/contribs/formal_topology/bin/theory_explorer.ml b/matita/contribs/formal_topology/bin/theory_explorer.ml index d857ab93e..3a9dcde30 100644 --- a/matita/contribs/formal_topology/bin/theory_explorer.ml +++ b/matita/contribs/formal_topology/bin/theory_explorer.ml @@ -99,7 +99,7 @@ let ps_of_set (to_be_considered,under_consideration,news) ?processing s = "style=dashed];\n")); output_string ch "}\n"; close_out ch; - ignore (Unix.system "dot -Tps xxx.dot > xxx.ps") + ignore (Unix.system "tred xxx.dot > yyy.dot && dot -Tps yyy.dot > xxx.ps") let test to_be_considered_and_now set rel candidate repr = ps_of_set to_be_considered_and_now ~processing:(candidate,rel,repr) set; -- 2.39.2