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)