Tue, 28 Oct 2008 14:49:18 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 28 Oct 2008 14:49:18 +0000] rev 342
Merge

Tue, 28 Oct 2008 15:37:46 +0100Use standard error/warning message format in the unifier script
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 28 Oct 2008 15:37:46 +0100] rev 341
Use standard error/warning message format in the unifier script