Fri, 31 Oct 2008 21:00:25 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 31 Oct 2008 21:00:25 +0000] rev 12
Merge

Fri, 31 Oct 2008 15:01:15 +0100Small improvements
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 31 Oct 2008 15:01:15 +0100] rev 11
Small improvements