Tue, 12 Feb 2008 21:08:29 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 12 Feb 2008 21:08:29 +0000] rev 76
Merge

Tue, 12 Feb 2008 21:03:19 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 12 Feb 2008 21:03:19 +0000] rev 75
Merge

Tue, 12 Feb 2008 12:37:22 +0100Bug fixes in the ReferenceMap concept.
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 12 Feb 2008 12:37:22 +0100] rev 74
Bug fixes in the ReferenceMap concept.