Changes between Version 75 and Version 76 of WikiStart


Ignore:
Timestamp:
2 Mar 2017, 11:00:33 (3 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v75 v76  
    5757== Downloads ==
    5858
    59 [[Image(https://travis-ci.org/EasyCrypt/easycrypt.svg?branch=1.0)]]
     59[[Image(https://travis-ci.org/EasyCrypt/easycrypt.svg?branch=1.0, link=https://travis-ci.org/EasyCrypt/easycrypt)]]
    6060
    6161The current release of !EasyCrypt (version [[milestone:1.0]]) is still