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)