Alpar Juttner <alpar@cs.elte.hu> [Tue, 28 Oct 2008 14:49:18 +0000] rev 342
Merge
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
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 28 Oct 2008 14:47:57 +0100] rev 340
Minor doc improvements