| Commit message (Expand) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | Stop glob messages to be printed by default on stdout |  letouzey | 2008-07-23 | |
| * | Oubli lors du commit #11236 |  notin | 2008-07-22 | |
| * | Suite commit 11236 | notin | 2008-07-21 | |
| * | Rétablissement de l'option -dump-glob de coq top et de l'option -glob-from d... | notin | 2008-07-18 | |
| * | 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-07-07 | |
| * | Création du fichier dumpglob.ml, qui rassemble les fonctions de globalisatio... | notin | 2008-06-25 | |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |