Tue, 04 Nov 2008 21:25:15 +0100 Peter Kovacs Rename readNauty() to readNautyGraph() (#55)
Tue, 04 Nov 2008 21:14:57 +0100 Peter Kovacs Redo erroneous modification of [7c5d8de2eac7] (#55)