NEWS
author Balazs Dezso <deba@inf.elte.hu>
Thu, 28 Feb 2008 16:41:56 +0100
changeset 77 2de55e4f57a7
child 262 0181b7f12a2a
permissions -rw-r--r--
Fix bug #26 (UndirectedTagIndicator<> does not work)