Mon, 14 Jul 2008 15:40:24 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 14 Jul 2008 15:40:24 +0100] rev 217
Merge

Mon, 14 Jul 2008 16:20:12 +0200Doc improvement for kruskal() (ticket #114)
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 14 Jul 2008 16:20:12 +0200] rev 216
Doc improvement for kruskal() (ticket #114)

Mon, 14 Jul 2008 10:55:43 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 14 Jul 2008 10:55:43 +0100] rev 215
Merge

Sun, 13 Jul 2008 22:05:25 +0100Some cleanup in ArgParser API (ticket #116)
Alpar Juttner <alpar@cs.elte.hu> [Sun, 13 Jul 2008 22:05:25 +0100] rev 214
Some cleanup in ArgParser API (ticket #116)

Mon, 14 Jul 2008 09:37:51 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 14 Jul 2008 09:37:51 +0100] rev 213
Merge

Mon, 14 Jul 2008 09:15:23 +0200Fix the incorrect tab replacements of unify-sources.sh
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 14 Jul 2008 09:15:23 +0200] rev 212
Fix the incorrect tab replacements of unify-sources.sh

Mon, 14 Jul 2008 09:41:18 +0200Small fixes in graph_to_eps_demo.cc
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 14 Jul 2008 09:41:18 +0200] rev 211
Small fixes in graph_to_eps_demo.cc

Sun, 13 Jul 2008 20:09:47 +0100Remove long lines (from all but one file)
Alpar Juttner <alpar@cs.elte.hu> [Sun, 13 Jul 2008 20:09:47 +0100] rev 210
Remove long lines (from all but one file)

Sun, 13 Jul 2008 19:51:02 +0100Apply unify-sources.sh to the source tree
Alpar Juttner <alpar@cs.elte.hu> [Sun, 13 Jul 2008 19:51:02 +0100] rev 209
Apply unify-sources.sh to the source tree

Sun, 13 Jul 2008 16:46:56 +0100Better source unifier
Alpar Juttner <alpar@cs.elte.hu> [Sun, 13 Jul 2008 16:46:56 +0100] rev 208
Better source unifier

- now it is called scripts/unify-sources.sh
- replaces each tab with 8 spaces
- remove trailing spaces (and tabs)
- warnings on long lines (i.e. on lines that are more than 80 characters)
- the standard file header now turns off the space-to-tab replacement in Emacs