LG

Outils pour utilisateurs

Outils du site

Piste :
lang:coq:mise_a_jour

Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
lang:coq:mise_a_jour [2020/03/19 21:09] – Ajout de "SearchAbout" qui devient "Search" rootlang:coq:mise_a_jour [2025/09/16 11:35] (Version actuelle) – [NArith, PArith, ZArith] : fix typo root
Ligne 1: Ligne 1:
 ===NArith, PArith, ZArith=== ===NArith, PArith, ZArith===
  
-Voir commit ''b1162463d577baf450c3f33ab880e7d9afe21148''. Les fonctions commençant par ''N'', ''P'' ou 'Z'' ont été déplacées dans leur propre ''namespace''.+Voir commit ''b1162463d577baf450c3f33ab880e7d9afe21148''. Les fonctions commençant par ''N'', ''P'' ou ''Z'' ont été déplacées dans leur propre ''namespace''.
  
 Jusqu'à la version Coq 8.9 : Jusqu'à la version Coq 8.9 :
lang/coq/mise_a_jour.txt · Dernière modification : de root