2008-07-14 Alpar Juttner Merge
2008-07-14 Peter Kovacs Doc improvement for kruskal() (ticket #114)
2008-07-14 Alpar Juttner Merge
2008-07-13 Alpar Juttner Some cleanup in ArgParser API (ticket #116)
2008-07-14 Alpar Juttner Merge
2008-07-14 Peter Kovacs Fix the incorrect tab replacements of unify-sources.sh
2008-07-14 Peter Kovacs Small fixes in graph_to_eps_demo.cc