Changes between Version 41 and Version 42 of WikiStart


Ignore:
Timestamp:
5 Aug 2014, 16:31:03 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

Link EasyCrypt? installation instructions to the source browser.

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v41 v42  
    4040  git clone !http://ci.easycrypt.info/easycrypt.git
    4141
    42 Installation instructions can be found [wiki:EasycryptInstall here],
     42Installation instructions can be found in the [source:README@1.0 README] file,
    4343and some tutorial material is [wiki:Tutorial available].
    4444