Madarasi Peter [Sun, 23 Jul 2017 00:00:00 +0200] rev 28
Meet Referee's requests
Alpar Juttner <alpar@cs.elte.hu> [Wed, 30 Nov 2016 23:26:43 +0100] rev 27
Merge
Madarasi Peter [Wed, 30 Nov 2016 23:03:41 +0100] rev 26
fine tune
Alpar Juttner <alpar@cs.elte.hu> [Wed, 30 Nov 2016 23:20:34 +0100] rev 25
Some polishing