Changes between Version 51 and Version 52 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v51 v52  
    3838You can get !EasyCrypt via our public git repository ([https://ci.easycrypt.info/trac/browser browse]):
    3939
    40   git clone !git://ci.easycrypt.info/easycrypt
     40  git clone !https://github.com/EasyCrypt/easycrypt.git
    4141
    4242Installation instructions can be found in the [source:README@1.0 README] file,