Thu, 20 Aug 2009 20:34:30 +0200 Peter Kovacs Also check ReferenceMapTag in concept checks (#312)
Thu, 11 Jun 2009 23:13:24 +0200 Balazs Dezso Unification of names in heaps (#50)