scripts/rename-graphs
Mon, 28 Jan 2008 11:42:46 +0000 Improved rename script to handle includes correctly.
Fri, 04 Jan 2008 00:47:08 +0000 Improved rename script to avoid "undirected digraph".
Fri, 07 Dec 2007 12:00:32 +0000 Modified rename script (BpGraph instead of Bigraph).
Tue, 04 Dec 2007 18:51:35 +0000 Bug fixes in the rename script.
Tue, 04 Dec 2007 14:08:27 +0000 rename graphs script