| Thu, 10 Dec 2009 17:05:35 +0100 |
Merge
|
file | diff | annotate |
| Fri, 13 Nov 2009 12:33:33 +0100 |
Bug fix in map_extender.h (#330)
|
file | diff | annotate |
| Thu, 20 Aug 2009 20:34:30 +0200 |
Also check ReferenceMapTag in concept checks (#312)
|
file | diff | annotate |
| Fri, 24 Apr 2009 11:54:48 +0200 |
Fix and uniform the usage of Graph and Parent typedefs (#268)
|
file | diff | annotate |
| Tue, 14 Apr 2009 10:34:12 +0200 |
Standard graph maps are required to be reference maps (#190)
|
file | diff | annotate |
| Thu, 01 Jan 2009 00:00:00 +0100 |
Happy New Year again
|
file | diff | annotate |
| Thu, 09 Oct 2008 13:27:35 +0200 |
Doc reorganization + improvements
|
file | diff | annotate |
| Mon, 15 Sep 2008 22:28:32 +0200 |
Make copy constr and op= of the default maps private (ticket #137)
|
file | diff | annotate |
| Sun, 13 Jul 2008 19:51:02 +0100 |
Apply unify-sources.sh to the source tree
|
file | diff | annotate |
| Fri, 21 Mar 2008 22:25:40 +0000 |
Happy New Year! (Update Copyright dates)
|
file | diff | annotate |
| Sun, 20 Jan 2008 20:43:48 +0100 |
Port ListDigraph and ListGraph from svn -r 3433
|
file | diff | annotate |