Mon, 03 Nov 2008 17:03:13 +0100Small improvements for the nauty reader (#55)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 03 Nov 2008 17:03:13 +0100] rev 352
Small improvements for the nauty reader (#55)

Mon, 03 Nov 2008 16:59:14 +0100Move the doc of the nauty group to groups.dox (#55)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 03 Nov 2008 16:59:14 +0100] rev 351
Move the doc of the nauty group to groups.dox (#55)