Mon, 13 Oct 2008 13:56:00 +0200Port maximum matching algorithms from svn 3498 (ticket #48)
Balazs Dezso <deba@inf.elte.hu> [Mon, 13 Oct 2008 13:56:00 +0200] rev 326
Port maximum matching algorithms from svn 3498 (ticket #48)

Mon, 20 Oct 2008 20:03:14 +0200Better help message and user question in unify-sources.sh
Alpar Juttner <alpar@cs.elte.hu> [Mon, 20 Oct 2008 20:03:14 +0200] rev 325
Better help message and user question in unify-sources.sh

Sun, 19 Oct 2008 16:19:32 +0200Improved unifier and checker script
Balazs Dezso <deba@inf.elte.hu> [Sun, 19 Oct 2008 16:19:32 +0200] rev 324
Improved unifier and checker script

- Unify and check modes
- Several file listing modes