Changes between Version 54 and Version 55 of WikiStart


Ignore:
Timestamp:
6 May 2015, 16:44:50 (4 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v54 v55  
    2626!EasyCrypt is being developed jointly by the
    2727[wiki:Team Computer-Aided Cryptography Group] at the IMDEA Software
    28 Institute and by INRIA.
     28Institute and by Inria.
    2929}}}
    3030