| Wed, 30 Nov 2016 16:13:29 +0100 | Madarasi Peter | refs | changeset | files |
| Wed, 30 Nov 2016 06:44:28 +0100 | Madarasi Peter | nth | changeset | files |
| Wed, 30 Nov 2016 06:21:19 +0100 | Madarasi Peter | Todo: refs, plots, double check | changeset | files |
| Mon, 28 Nov 2016 20:18:13 +0100 | Madarasi Peter | New run times | changeset | files |
| Sun, 27 Nov 2016 22:57:56 +0100 | Madarasi Peter | Fine tune. To be reviewed: abstract, intro, conclusion. | changeset | files |
| Sat, 26 Nov 2016 00:15:22 +0100 | Madarasi Peter | Vf2++' SUB, ISO cutting rules removed | changeset | files |
| Fri, 25 Nov 2016 23:47:31 +0100 | Madarasi Peter | Vf2's consistency and cutting rules part shortened | changeset | files |
| Thu, 24 Nov 2016 22:09:36 +0100 | Madarasi Peter | Expanding PT part removed | changeset | files |
| Wed, 23 Nov 2016 21:45:11 +0100 | Madarasi Peter | Under 30 | changeset | files |
| 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 |