Changes between Version 53 and Version 54 of WikiStart


Ignore:
Timestamp:
30 Apr 2015, 15:28:54 (4 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v53 v54  
    4040  git clone !https://github.com/EasyCrypt/easycrypt.git
    4141
    42 Installation instructions can be found in the [source:README@1.0 README] file,
     42Installation instructions can be found in the [source:README.md@1.0 README] file,
    4343and some tutorial material is [wiki:Tutorial available].
    4444