Sat, 12 Apr 2008 20:38:51 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Sat, 12 Apr 2008 20:38:51 +0100] rev 124
Merge

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

Mon, 31 Mar 2008 10:06:47 +0100Fix a minor typo in the doc
Alpar Juttner <alpar@cs.elte.hu> [Mon, 31 Mar 2008 10:06:47 +0100] rev 120
Fix a minor typo in the doc

Sun, 30 Mar 2008 22:16:35 +0100Port time and counter utilities from svn -r3482
Alpar Juttner <alpar@cs.elte.hu> [Sun, 30 Mar 2008 22:16:35 +0100] rev 119
Port time and counter utilities from svn -r3482
The mingw support has been removed