Tue, 04 Nov 2008 21:25:15 +0100 | Rename readNauty() to readNautyGraph() (#55) | file | diff | annotate |
Tue, 28 Oct 2008 21:35:06 +0100 | More improvement in the migration script | file | diff | annotate |
Tue, 28 Oct 2008 18:33:51 +0100 | Improve the migration script and guide (#166) | file | diff | annotate |
Sat, 18 Oct 2008 11:46:25 +0200 | Improve the 0.x->1.x converter script (ticket #157) | file | diff | annotate |
Thu, 09 Oct 2008 12:01:40 +0100 | Repository reorganization | file | diff | annotate | base |