| Wed, 23 Nov 2016 21:15:26 +0100 | Madarasi Peter | All proofs of vf2pp' section removed | changeset | files |
| Wed, 23 Nov 2016 20:59:40 +0100 | Madarasi Peter | Proof of distinctness of cutting rules in case of IND and SUB | changeset | files |
| Wed, 23 Nov 2016 20:51:09 +0100 | Madarasi Peter | Cummulative charts removed | changeset | files |
| Wed, 23 Nov 2016 20:45:31 +0100 | Madarasi Peter | The implementation details part has been shortened | changeset | files |
| Wed, 23 Nov 2016 18:59:25 +0100 | Madarasi Peter | Algorithm 4 removed | changeset | files |
| Wed, 23 Nov 2016 02:07:56 +0100 | Madarasi Peter | Bio plots grouped | changeset | files |
| Tue, 22 Nov 2016 19:30:15 +0100 | Madarasi Peter | IND run times corrected | changeset | files |