Changes between Version 23 and Version 24 of WikiStart


Ignore:
Timestamp:
16 May 2014, 15:48:10 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v23 v24  
    2626The current release of !EasyCrypt (version [[milestone:1.0]]) is still
    2727under development. Please join the
    28 [https://lists.gforge.inria.fr/mailman/listinfo/easycrypt-support EasyCrypt support mailing list]
     28[https://lists.gforge.inria.fr/mailman/listinfo/easycrypt-club EasyCrypt club mailing list]
    2929to be informed of evolutions.
    3030