Mon, 07 Jan 2008 14:16:06 +0100Happy New Year (update the copyright headers)
Alpar Juttner <alpar@cs.elte.hu> [Mon, 07 Jan 2008 14:16:06 +0100] rev 39
Happy New Year (update the copyright headers)

Mon, 07 Jan 2008 14:12:55 +0100Script for updating the copyright headers
Alpar Juttner <alpar@cs.elte.hu> [Mon, 07 Jan 2008 14:12:55 +0100] rev 38
Script for updating the copyright headers

Fri, 04 Jan 2008 23:51:37 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 04 Jan 2008 23:51:37 +0100] rev 37
Merge

Fri, 04 Jan 2008 23:50:16 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Fri, 04 Jan 2008 23:50:16 +0100] rev 36
Merge

Fri, 04 Jan 2008 23:17:09 +0100Doc improvements in concepts/maps.h.
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 04 Jan 2008 23:17:09 +0100] rev 35
Doc improvements in concepts/maps.h.

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

Fri, 04 Jan 2008 23:13:45 +0100Doc improvements in maps.h.
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 04 Jan 2008 23:13:45 +0100] rev 33
Doc improvements in maps.h.

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