Changes between Version 39 and Version 40 of WikiStart


Ignore:
Timestamp:
31 Jul 2014, 12:16:26 (5 years ago)
Author:
François Dupressoir
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v39 v40  
    4040  git clone !http://ci.easycrypt.info/easycrypt.git
    4141
    42 Installation instructions can be found [wiki:EasycryptInstall here].
     42Installation instructions can be found [wiki:EasycryptInstall here],
     43and some tutorial material is [wiki:Tutorial available].
    4344
    4445Note that the current release of !EasyCrypt (version 1.0) is