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