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

TODO 225 Bytes
Newer Older
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
1

2
X refs -> mutable types
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
3

4
X loadpath: how to retrieve program files? (cannot use "env")
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
5 6

o what about pervasives old, at, label, exn, unit = (), lt_nat
7 8
  in particular, how to prevent old and at from being used in programs?