hegyi [Mon, 13 Jun 2005 19:49:33 +0000] rev 1478
Known bugs are eliminated from gui, and new ones are created by changing tool selectors to special radiobuttons, and by adding edgecreation-canceller function (right-click on any group element).
deba [Mon, 13 Jun 2005 17:21:55 +0000] rev 1477
Bug fix
deba [Mon, 13 Jun 2005 17:13:56 +0000] rev 1476
Some bug fix.
Added: Concept check for maps and IdReader/Writer classes
Some runtime check
athos [Mon, 13 Jun 2005 16:10:36 +0000] rev 1475
Cplex test disabled again.