Fri, 24 Jul 2009 10:27:40 +0200Small doc improvements
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 24 Jul 2009 10:27:40 +0200] rev 713
Small doc improvements

Mon, 31 Aug 2009 20:27:38 +0200Merge
Alpar Juttner <alpar@cs.elte.hu> [Mon, 31 Aug 2009 20:27:38 +0200] rev 712
Merge