| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-11-09 | A bit of cleaning around name generation + creation of dedicated file namegen.ml | herbelin |
| 2009-10-21 | This big commit addresses two problems: | soubiran |
| 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 |
| 2008-10-15 | Report des commits 11417 et 11437 de la v8.2 | soubiran |
| 2008-09-05 | Report 11364 de 8.2 vers trunk (bugs affichage Print Module) | herbelin |
| 2008-03-14 | Ajout des alias de module dans le noyau. | soubiran |
| 2008-02-01 | Beaoucoup de changements dans la representation interne des modules. | soubiran |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2003-05-08 | Petite correction d'affichage de modules | coq |
| 2003-04-14 | Correction bug PR#278 | coq |
| 2003-01-31 | Pour satisfaire ProofGeneral | coq |
| 2002-09-20 | La notation with dependante + affichage dependante de moduels corrige | coq |
| 2002-08-19 | Pretty-printing preliminaire des modules, commandes | coq |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |