Wed, 23 Nov 2016 21:45:11 +0100Under 30
Madarasi Peter [Wed, 23 Nov 2016 21:45:11 +0100] rev 13
Under 30

Wed, 23 Nov 2016 21:15:26 +0100All proofs of vf2pp' section removed
Madarasi Peter [Wed, 23 Nov 2016 21:15:26 +0100] rev 12
All proofs of vf2pp' section removed

Wed, 23 Nov 2016 20:59:40 +0100Proof of distinctness of cutting rules in case of IND and SUB
Madarasi Peter [Wed, 23 Nov 2016 20:59:40 +0100] rev 11
Proof of distinctness of cutting rules in case of IND and SUB

Wed, 23 Nov 2016 20:51:09 +0100Cummulative charts removed
Madarasi Peter [Wed, 23 Nov 2016 20:51:09 +0100] rev 10
Cummulative charts removed

Wed, 23 Nov 2016 20:45:31 +0100The implementation details part has been shortened
Madarasi Peter [Wed, 23 Nov 2016 20:45:31 +0100] rev 9
The implementation details part has been shortened

Wed, 23 Nov 2016 18:59:25 +0100Algorithm 4 removed
Madarasi Peter [Wed, 23 Nov 2016 18:59:25 +0100] rev 8
Algorithm 4 removed

Wed, 23 Nov 2016 02:07:56 +0100Bio plots grouped
Madarasi Peter [Wed, 23 Nov 2016 02:07:56 +0100] rev 7
Bio plots grouped