Changes between Version 52 and Version 53 of WikiStart


Ignore:
Timestamp:
30 Apr 2015, 15:12:54 (4 years ago)
Author:
Pierre-Yves Strub
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v52 v53  
    7070using any [[https://github.com|GitHub]] account.
    7171
    72 Support requests that include ''clearly marked'' non-public information can be sent to easycrypt-support @ lists.gforge.inria.fr. '''In any other case''', use the
     72Support requests that include ''clearly marked'' non-public information can be sent to support @ easycrypt.info. '''In any other case''', use the
    7373[https://lists.gforge.inria.fr/mailman/listinfo/easycrypt-club EasyCrypt club mailing list]: our answers to you may also help others.
    7474