| Fri, 23 May 2008 10:55:41 +0000 | Bug fix full graph problam | file | diff | annotate |
| Mon, 07 Jan 2008 13:09:48 +0000 | Happy New Year to LEMON (+ better update-copyright-header script) | file | diff | annotate |
| Tue, 20 Nov 2007 15:06:03 +0000 | Nauty graph6 reader | file | diff | annotate |