Changes between Version 19 and Version 20 of WikiStart


Ignore:
Timestamp:
14 Feb 2014, 21:26:40 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v19 v20  
    3434
    3535Installation instructions can be found [wiki:EasycryptInstall here].
     36
     37Note that the current release of !EasyCrypt (version 1.0) is
     38still under development. You can also download
     39[[http://old.easycrypt.info/easycrypt-0.2.tgz|EasyCrypt version 0.2]]
     40(and its
     41[[http://old.easycrypt.info/easycrypt-0.2.pdf|documentation]])
     42However, we are not actively supporting this version any longer,
     43and recommend switching to version 1.0.
    3644
    3745== Past Events ==