| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Delete trailing whitespaces in all *.{v,ml*} files |  glondu | 2009-09-17 |
| * | - Cleaning phase of the interfaces of libnames.ml and nametab.ml |  herbelin | 2009-08-06 |
| * | Some dead code removal + cleanups |  letouzey | 2009-04-08 |
| * | Dumpglob.dump_modref : fix an assert failure | letouzey | 2008-10-14 |
| * | Suite commit 11236 |  notin | 2008-07-24 |
| * | 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 |