Mon, 03 Nov 2008 17:03:13 +0100 Peter Kovacs Small improvements for the nauty reader (#55)
Mon, 03 Nov 2008 16:59:14 +0100 Peter Kovacs Move the doc of the nauty group to groups.dox (#55)
Wed, 29 Oct 2008 15:29:34 +0100 Balazs Dezso Swap parameters in readNauty()
Wed, 29 Oct 2008 14:06:08 +0000 Alpar Juttner Merge