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