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