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

Tue, 28 Oct 2008 15:37:46 +0100Use standard error/warning message format in the unifier script
Peter Kovacs <kpeter@inf.elte.hu> [Tue, 28 Oct 2008 15:37:46 +0100] rev 341
Use standard error/warning message format in the unifier script