Changes between Version 67 and Version 68 of WikiStart


Ignore:
Timestamp:
16 Jan 2017, 23:38:05 (3 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v67 v68  
    4949[[Image(htdocs:imdea.png, nolink, 100px, align=right, margin-left=10)]]
    5050[[Image(htdocs:inria.png, nolink, 100px, align=right, margin-left=10)]]
    51 !EasyCrypt is being developed jointly by the
    52 [wiki:Team Computer-Aided Cryptography Group] at the IMDEA Software
     51!EasyCrypt is being developed jointly by the the IMDEA Software
    5352Institute and by Inria.
    5453}}}