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.