Peter Kovacs <kpeter@inf.elte.hu> [Sat, 16 Mar 2013 13:14:35 +0100] rev 1217
Minor fixes and improvements in the doc (#459)
Alpar Juttner <alpar@cs.elte.hu> [Fri, 15 Mar 2013 17:19:17 +0100] rev 1216
Merge #411
Alpar Juttner <alpar@cs.elte.hu> [Fri, 15 Mar 2013 17:15:46 +0100] rev 1215
Merge