Sun, 16 Mar 2008 07:32:43 +0000Merge
Alpar Juttner <alpar@cs.elte.hu> [Sun, 16 Mar 2008 07:32:43 +0000] rev 84
Merge

Sat, 15 Mar 2008 23:42:33 +0100Improvements in groups.dox
Peter Kovacs <kpeter@inf.elte.hu> [Sat, 15 Mar 2008 23:42:33 +0100] rev 83
Improvements in groups.dox

- Apply the graph renamings.
- Apply the current map renamings.