hegyi [Fri, 06 Jan 2006 14:36:46 +0000] rev 112
MapSelector has become a standalone class.
hegyi [Fri, 06 Jan 2006 13:58:49 +0000] rev 111
Result of KruskalGUIAlgo is refreshed if displayed, but no more setin a forced way.
alpar [Fri, 06 Jan 2006 10:42:58 +0000] rev 110
Reformatting: too long code lines.