Alpar Juttner <alpar@cs.elte.hu> [Tue, 28 Oct 2008 14:49:18 +0000] rev 354
Merge
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 28 Oct 2008 15:37:46 +0100] rev 353
Use standard error/warning message format in the unifier script
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 28 Oct 2008 14:47:57 +0100] rev 352
Minor doc improvements