Mercuriallemon-vf2 / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | zip | gz | help
(0) -10 -3 +3 +10 tip
Wed, 23 Nov 2016 21:15:26 +0100All proofs of vf2pp' section removed
changeset
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
changeset
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
changeset
Madarasi Peter [Wed, 23 Nov 2016 20:51:09 +0100] rev 10
Cummulative charts removed

(0) -10 -3 +3 +10 tip
lemon-vf2