Différences

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

--- lang:coq:mise_a_jour [2020/03/19 21:09] – Ajout de "SearchAbout" qui devient "Search" root
+++ lang:coq:mise_a_jour [2025/09/17 15:22] (Version actuelle) – Ajout des Exemples pour v8.1 à 8.20 root
@@ Ligne 1: / Ligne 1: @@
+=====Migration=====
+====Fonctions====
 ===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 [[https://github.com/rocq-prover/rocq/commit/b1162463d577baf450c3f33ab880e7d9afe21148|''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 66: / Ligne 70: @@
 Search leb.
 </code>
+=====Exemples=====
+Coq'Art : {{ :lang:rocq:mise_a_jour:coq-art-8.1.tar.gz |8.1}}, {{ :lang:rocq:mise_a_jour:coq-art-8.2.tar.gz |8.2}}, {{ :lang:rocq:mise_a_jour:coq-art-8.3.tar.gz |8.3}}, {{ :lang:rocq:mise_a_jour:coq-art-8.4.tar.gz |8.4}}, {{ :lang:rocq:mise_a_jour:coq-art-8.5.tar.gz |8.5}}, {{ :lang:rocq:mise_a_jour:coq-art-8.6.tar.gz |8.6}}, {{ :lang:rocq:mise_a_jour:coq-art-8.7.tar.gz |8.7}}, {{ :lang:rocq:mise_a_jour:coq-art-8.9.0.tar.gz |8.9}}, {{ :lang:rocq:mise_a_jour:coq-art-8.10.0.tar.gz |8.10}}, {{ :lang:rocq:mise_a_jour:coq-art-8.11.0.tar.gz |8.11}}, {{ :lang:rocq:mise_a_jour:coq-art-8.12.0.tar.gz |8.12}}, {{ :lang:rocq:mise_a_jour:coq-art-8.13.0.tar.gz |8.13}}, {{ :lang:rocq:mise_a_jour:coq-art-8.14.0.tar.gz |8.14}}, {{ :lang:rocq:mise_a_jour:coq-art-8.15.0.tar.gz |8.15}}, {{ :lang:rocq:mise_a_jour:coq-art-8.20.0.tar.gz |8.20}},