Madarasi Peter [Thu, 24 Nov 2016 22:09:36 +0100] rev 14
Expanding PT part removed
Madarasi Peter [Wed, 23 Nov 2016 21:45:11 +0100] rev 13
Under 30
Madarasi Peter [Wed, 23 Nov 2016 21:15:26 +0100] rev 12
All proofs of vf2pp' section removed
Madarasi Peter [Wed, 23 Nov 2016 20:59:40 +0100] rev 11
Proof of distinctness of cutting rules in case of IND and SUB
Madarasi Peter [Wed, 23 Nov 2016 20:51:09 +0100] rev 10
Cummulative charts removed
Madarasi Peter [Wed, 23 Nov 2016 20:45:31 +0100] rev 9
The implementation details part has been shortened
Madarasi Peter [Wed, 23 Nov 2016 18:59:25 +0100] rev 8
Algorithm 4 removed
Madarasi Peter [Wed, 23 Nov 2016 02:07:56 +0100] rev 7
Bio plots grouped
Madarasi Peter<madarasip@caesar.elte.hu> [Tue, 22 Nov 2016 19:30:15 +0100] rev 6
IND run times corrected
Alpar Juttner <alpar@cs.elte.hu> [Tue, 22 Nov 2016 15:21:38 +0100] rev 5
Reformatting III
Alpar Juttner <alpar@cs.elte.hu> [Tue, 22 Nov 2016 14:11:49 +0100] rev 4
Reformatting II
Alpar Juttner <alpar@cs.elte.hu> [Tue, 22 Nov 2016 13:58:09 +0100] rev 3
Reformat
Alpar Juttner <alpar@cs.elte.hu> [Tue, 22 Nov 2016 08:15:16 +0100] rev 2
Szakd
Alpar Juttner <alpar@cs.elte.hu> [Fri, 18 Nov 2016 16:45:03 +0100] rev 1
Title, authors and abstract
Alpar Juttner <alpar@cs.elte.hu> [Fri, 18 Nov 2016 16:18:02 +0100] rev 0
Initial setup