src/demo/graph_to_eps_demo.cc
Wed, 19 Jan 2005 12:17:11 +0000 One more node-shape added.
Tue, 18 Jan 2005 12:02:27 +0000 In graphToEps(), nodes may have different shapes (circles or squares).
Tue, 11 Jan 2005 09:15:25 +0000 graph_to_eps mission accomplished.