| Thu, 01 Jan 2009 00:00:00 +0100 | Happy New Year again | file | diff | annotate |
| Tue, 04 Nov 2008 21:25:15 +0100 | Rename readNauty() to readNautyGraph() (#55) | file | diff | annotate |
| Tue, 04 Nov 2008 21:14:57 +0100 | Redo erroneous modification of [7c5d8de2eac7] (#55) | file | diff | annotate |
| Mon, 03 Nov 2008 17:03:13 +0100 | Small improvements for the nauty reader (#55) | file | diff | annotate |
| Mon, 03 Nov 2008 16:59:14 +0100 | Move the doc of the nauty group to groups.dox (#55) | file | diff | annotate |
| Wed, 29 Oct 2008 15:29:34 +0100 | Swap parameters in readNauty() | file | diff | annotate |
| Sat, 18 Oct 2008 00:05:22 +0200 | Porting nauty reader function from SVN #3509 | file | diff | annotate |