Fri, 13 Nov 2009 12:33:33 +0100Bug fix in map_extender.h (#330)
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 13 Nov 2009 12:33:33 +0100] rev 707
Bug fix in map_extender.h (#330)

Thu, 20 Aug 2009 20:34:30 +0200Also check ReferenceMapTag in concept checks (#312)
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 20 Aug 2009 20:34:30 +0200] rev 706
Also check ReferenceMapTag in concept checks (#312)

Thu, 11 Jun 2009 23:13:24 +0200Unification of names in heaps (#50)
Balazs Dezso <deba@inf.elte.hu> [Thu, 11 Jun 2009 23:13:24 +0200] rev 705
Unification of names in heaps (#50)