Changes between Version 68 and Version 69 of WikiStart


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

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v68 v69  
    4747
    4848{{{#!div style="padding: 0; height: 50px;"
     49[[Image(htdocs:X.png, nolink, 50px, align=right, margin-left=10)]]
    4950[[Image(htdocs:imdea.png, nolink, 100px, align=right, margin-left=10)]]
    5051[[Image(htdocs:inria.png, nolink, 100px, align=right, margin-left=10)]]
    51 !EasyCrypt is being developed jointly by the the IMDEA Software
    52 Institute and by Inria.
     52!EasyCrypt has been initially developed by the IMDEA Software
     53Institute and Inria. It is now developed at the IMDEA Software
     54Institute, Inria and École Polytechnique.
    5355}}}
    5456
     
    141143291803 (Amarout II), ONR Grant N000141210914,
    142144Spanish projects TIN2009-14599 DESAFIOS 10 and TIN2012-39391-C04-01
    143 !StrongSoft, and Madrid Regional projects S2009TIC-1465 PROMETIDOS and S2013/ICE-2731 N-GREENS Software-CM.
     145!StrongSoft, and Madrid Regional projects S2009TIC-1465 PROMETIDOS and
     146S2013/ICE-2731 N-GREENS Software-CM.