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
Sun, 19 Oct 2008 16:19:32 +0200 Balazs Dezso Improved unifier and checker script
Sat, 18 Oct 2008 11:46:25 +0200 Peter Kovacs Improve the 0.x->1.x converter script (ticket #157)