Fri, 28 Nov 2008 11:26:51 +0100 Peter Kovacs Doc improvements for the DIMACS tools (#167)