Mon, 31 Aug 2009 20:27:38 +0200 Alpar Juttner Merge
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)