Changes between Version 47 and Version 48 of WikiStart


Ignore:
Timestamp:
9 Dec 2014, 10:39:10 (5 years ago)
Author:
Pierre-Yves Strub
Comment:

Make clearn that easycrypt-support is only when non-public info has to be provided.

Legend:

Unmodified
Added
Removed
Modified
  • WikiStart

    v47 v48  
    6868using any [[https://github.com|GitHub]] account.
    6969
    70 Support requests that include ''clearly marked'' non-public information can be sent to easycrypt-support @ lists.gforge.inria.fr. However, we encourage you to try and use the
     70Support requests that include ''clearly marked'' non-public information can be sent to easycrypt-support @ lists.gforge.inria.fr. '''In any other case''', use the
    7171[https://lists.gforge.inria.fr/mailman/listinfo/easycrypt-club EasyCrypt club mailing list]
    72 whenever possible: our answers to you may also help others.
     72whenever: our answers to you may also help others.
    7373
    7474== Team ==