Thu, 20 Aug 2009 18:37:36 +0200 Peter Kovacs Add missing 'explicit' keywords (#311)
Thu, 23 Jul 2009 18:09:41 +0200 Peter Kovacs Fix the implementation and doc of CrossRefMap (#302)
Thu, 11 Jun 2009 23:13:24 +0200 Balazs Dezso Unification of names in heaps (#50)