Wed, 08 Jul 2009 17:47:01 +0200 Peter Kovacs Unify member names in heaps (#299)
Wed, 08 Jul 2009 17:22:36 +0200 Peter Kovacs Move the heaps to a separate group (#299)
Wed, 08 Jul 2009 17:21:30 +0200 Peter Kovacs Improve and unify the documentation of heaps (#299)
Mon, 31 Aug 2009 10:03:23 +0200 Alpar Juttner Merge