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