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

Sun, 13 Jul 2008 16:35:05 +0100Merge
Alpar Juttner <alpar@cs.elte.hu> [Sun, 13 Jul 2008 16:35:05 +0100] rev 207
Merge

Sun, 13 Jul 2008 16:34:27 +0100Improvements related to graphToEps()
Peter Kovacs <kpeter@inf.elte.hu> [Sun, 13 Jul 2008 16:34:27 +0100] rev 206
Improvements related to graphToEps()