Balazs Dezso <deba@inf.elte.hu> [Mon, 13 Oct 2008 13:56:00 +0200] rev 338
Port maximum matching algorithms from svn 3498 (ticket #48)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 20 Oct 2008 20:03:14 +0200] rev 337
Better help message and user question in unify-sources.sh
Balazs Dezso <deba@inf.elte.hu> [Sun, 19 Oct 2008 16:19:32 +0200] rev 336
Improved unifier and checker script
- Unify and check modes
- Several file listing modes