2008-05-26Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 26 May 2008 13:50:47 +0100] rev 161
Merge

2008-05-26Improved documentation for counters
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 26 May 2008 13:31:41 +0200] rev 160
Improved documentation for counters

2008-05-25Change the implementation of StoreBoolMap + improve doc (ticket #36)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 26 May 2008 01:35:59 +0200] rev 159
Change the implementation of StoreBoolMap + improve doc (ticket #36)