Tue, 28 Oct 2008 18:33:51 +0100Improve the migration script and guide (#166)
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 28 Oct 2008 18:33:51 +0100] rev 343
Improve the migration script and guide (#166)

- Safer replacement of 'graph' and 'edge'.
- Fix the erroneous renaming of [Gg]raphToEps.
- Fixes and improvements in the migration guide.

Tue, 28 Oct 2008 14:49:18 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Tue, 28 Oct 2008 14:49:18 +0000] rev 342
Merge