Fri, 04 Jan 2008 21:45:55 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 04 Jan 2008 21:45:55 +0100] rev 32
Merge

Fri, 04 Jan 2008 21:42:16 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 04 Jan 2008 21:42:16 +0100] rev 31
Merge

Fri, 04 Jan 2008 08:16:15 +0100Bug fix in maps.h.
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 04 Jan 2008 08:16:15 +0100] rev 30
Bug fix in maps.h.