Changes between Version 69 and Version 70 of WikiStart


Ignore:
Timestamp:
16 Jan 2017, 23:54:17 (3 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v69 v70  
    6868Installation instructions can be found in the [source:README.md@1.0 README] file,
    6969and some tutorial material is [wiki:Tutorial available], as well as a [[https://www.easycrypt.info/documentation/refman.pdf|reference manual]]
    70 (under development).
    71 
    72 Note that the current release of !EasyCrypt (version 1.0) is
    73 still being actively developed. We do not guarantee backwards compatibility.
     70(under development). Note that the current release of !EasyCrypt is still being
     71developed. We do not guarantee backwards compatibility.
    7472
    7573=== !EasyCrypt 0.2 ===