hegyi [Fri, 22 Jul 2005 11:04:27 +0000] rev 1581
There were bugs, created yesterday, and there is still one. (I hope only one :) )
athos [Fri, 22 Jul 2005 09:41:20 +0000] rev 1580
Some changes to kruskal stuff.
hegyi [Thu, 21 Jul 2005 19:28:29 +0000] rev 1579
Edge and nodemap edition is done.
zsuzska [Wed, 20 Jul 2005 22:36:37 +0000] rev 1578
kruskal_demo corrected, quicktour filled with kruskal