Tue, 08 Apr 2008 22:51:26 +0200Small improvements in maps.h
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 08 Apr 2008 22:51:26 +0200] rev 123
Small improvements in maps.h
- Add a new version of constMap() function.
- Fix in FunctorToMap class.

Sat, 12 Apr 2008 19:42:38 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Sat, 12 Apr 2008 19:42:38 +0100] rev 122
Merge

Sat, 12 Apr 2008 19:41:48 +0100Change SubNoCounter to NoSubCounter
Alpar Juttner <alpar@cs.elte.hu> [Sat, 12 Apr 2008 19:41:48 +0100] rev 121
Change SubNoCounter to NoSubCounter