LICENSE · master · GILBERT Gaëtan / coq · GitLab

Mentions légales du service

La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656

fix pour install windows · e9289aea

Julien Narboux authored Nov 09, 2005


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@7545 85f007b7-540e-0410-9357-904b9bb8a0f7

e9289aea

This project is licensed under the GNU Lesser General Public License v2.1 only. Learn more