Changes between Version 80 and Version 81 of WikiStart


Ignore:
Timestamp:
18 Dec 2019, 10:32:39 (5 months ago)
Author:
Pierre-Yves Strub
Comment:

Remove EasyCrypt? 0.2 blob

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v80 v81  
    7373developed. We do not guarantee backwards compatibility.
    7474
    75 === !EasyCrypt 0.2 ===
    76 
    77 You can also download
    78 [[http://old.easycrypt.info/easycrypt-0.2.tgz|EasyCrypt version 0.2]]
    79 and its
    80 [[http://old.easycrypt.info/easycrypt-0.2.pdf|documentation]].
    81 However, we are no longer actively supporting this version,
    82 and recommend switching to version 1.0.
    83 
    8475== Past Events ==
    8576