Alpar Juttner <alpar@cs.elte.hu> [Fri, 15 Mar 2013 17:19:17 +0100] rev 1048
Merge #411
Alpar Juttner <alpar@cs.elte.hu> [Fri, 15 Mar 2013 17:15:46 +0100] rev 1047
Merge
Peter Kovacs <kpeter@inf.elte.hu> [Fri, 08 Mar 2013 01:13:54 +0100] rev 1046
Adjust image sizes in the documentation (#411)