Mon, 23 Feb 2009 15:03:55 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 23 Feb 2009 15:03:55 +0000] rev 520
Merge

Mon, 23 Feb 2009 12:10:26 +0100Various doc improvements
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 23 Feb 2009 12:10:26 +0100] rev 519
Various doc improvements

Mon, 23 Feb 2009 14:51:10 +0100Small improvements in DIMACS solver (#226)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 23 Feb 2009 14:51:10 +0100] rev 518
Small improvements in DIMACS solver (#226)