Mon, 20 Oct 2008 12:17:24 +0200 Peter Kovacs Small improvements in the unifier script
Mon, 13 Oct 2008 14:00:11 +0200 Balazs Dezso Several improvements in maximum matching algorithms
Mon, 13 Oct 2008 13:56:00 +0200 Balazs Dezso Port maximum matching algorithms from svn 3498 (ticket #48)
Mon, 20 Oct 2008 20:03:14 +0200 Alpar Juttner Better help message and user question in unify-sources.sh