Une nouvelle version du portail de gestion des comptes externes sera mise en production lundi 09 août. Elle permettra d'allonger la validité d'un compte externe jusqu'à 3 ans. Pour plus de détails sur cette version consulter : https://doc-si.inria.fr/x/FCeS

  • Johannes Kanig's avatar
    Committing why3server code · 98f2682f
    Johannes Kanig authored
    For the moment, new API functions are introduced. If existing API
    functions are called, the why3server is not used.
    98f2682f
vc_client.c 3.2 KB