Alpar Juttner <alpar@cs.elte.hu> [Mon, 23 Feb 2009 15:04:10 +0000] rev 521
Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 23 Feb 2009 15:03:55 +0000] rev 520
Merge
Peter Kovacs <kpeter@inf.elte.hu> [Mon, 23 Feb 2009 12:10:26 +0100] rev 519
Various doc improvements