lang:coq:mise_a_jour
Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| lang:coq:mise_a_jour [2020/03/15 14:58] – Précision sur les versions root | lang:coq:mise_a_jour [2020/03/19 21:09] (Version actuelle) – Ajout de "SearchAbout" qui devient "Search" root | ||
|---|---|---|---|
| Ligne 51: | Ligne 51: | ||
| < | < | ||
| Arguments every_other_even [A]. | Arguments every_other_even [A]. | ||
| + | </ | ||
| + | |||
| + | ===SearchAbout=== | ||
| + | |||
| + | Jusqu' | ||
| + | |||
| + | < | ||
| + | SearchAbout leb. | ||
| + | </ | ||
| + | |||
| + | Après la version Coq 8.11 : | ||
| + | |||
| + | < | ||
| + | Search leb. | ||
| </ | </ | ||
lang/coq/mise_a_jour.1584280709.txt.gz · Dernière modification : 2020/03/15 14:58 de root