| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-08-06 | - Cleaning phase of the interfaces of libnames.ml and nametab.ml | herbelin |
| 2009-04-08 | Some dead code removal + cleanups | letouzey |
| 2008-10-14 | Dumpglob.dump_modref : fix an assert failure | letouzey |
| 2008-07-24 | Suite commit 11236 | notin |
| 2008-07-23 | Stop glob messages to be printed by default on stdout | letouzey |
| 2008-07-22 | Oubli lors du commit #11236 | notin |
| 2008-07-21 | Suite commit 11236 | notin |
| 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 |