Tue, 04 Nov 2008 21:25:15 +0100Rename readNauty() to readNautyGraph() (#55)
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 04 Nov 2008 21:25:15 +0100] rev 359
Rename readNauty() to readNautyGraph() (#55)

Tue, 04 Nov 2008 21:14:57 +0100Redo erroneous modification of [7c5d8de2eac7] (#55)
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 04 Nov 2008 21:14:57 +0100] rev 358
Redo erroneous modification of [7c5d8de2eac7] (#55)

Tue, 04 Nov 2008 10:25:47 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 04 Nov 2008 10:25:47 +0000] rev 357
Merge