Différences

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

--- lang:coq:mise_a_jour [2020/03/15 14:58] – Précision sur les versions root
+++ lang:coq:mise_a_jour [2025/09/16 11:35] (Version actuelle) – [NArith, PArith, ZArith] : fix typo root
@@ Ligne 1: / Ligne 1: @@
 ===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 :
@@ Ligne 51: / Ligne 51: @@
 <code>
 Arguments every_other_even [A].
+</code>
+===SearchAbout===
+Jusqu'à la version Coq 8.11 :
+<code>
+SearchAbout leb.
+</code>
+Après la version Coq 8.11 :
+<code>
+Search leb.
 </code>