| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-07-18 | Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d... | notin |
| 2008-07-07 | Utilisation de try_locate_qualified_library au lieu de locate_qualified_libra... | notin |
| 2008-07-07 | - Improve [Context] vernacular to allow arbitrary binders, not just | msozeau |
| 2008-06-25 | Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio... | notin |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |