Thu, 08 Oct 2015 10:13:24 +0200Merge #600
Alpar Juttner <alpar@cs.elte.hu> [Thu, 08 Oct 2015 10:13:24 +0200] rev 1155
Merge #600

Wed, 07 Oct 2015 18:49:46 +0200Merge #597
Alpar Juttner <alpar@cs.elte.hu> [Wed, 07 Oct 2015 18:49:46 +0200] rev 1154
Merge #597

Sun, 24 May 2015 17:30:50 +0200Minor fixes in bibtex entry + unify formatting (#597)
Peter Kovacs <kpeter@inf.elte.hu> [Sun, 24 May 2015 17:30:50 +0200] rev 1153
Minor fixes in bibtex entry + unify formatting (#597)

Sun, 24 May 2015 17:29:26 +0200Minor doc fixes (#597)
Peter Kovacs <kpeter@inf.elte.hu> [Sun, 24 May 2015 17:29:26 +0200] rev 1152
Minor doc fixes (#597)