Commit message (Expand) | Author | Age | |
---|---|---|---|
* | A bit of cleaning around name generation + creation of dedicated file namegen.ml | 2009-11-09 | |
* | This big commit addresses two problems: | 2009-10-21 | |
* | Delete trailing whitespaces in all *.{v,ml*} files | 2009-09-17 | |
* | - Cleaning phase of the interfaces of libnames.ml and nametab.ml | 2009-08-06 | |
* | Report des commits 11417 et 11437 de la v8.2 | 2008-10-15 | |
* | Report 11364 de 8.2 vers trunk (bugs affichage Print Module) | 2008-09-05 | |
* | Ajout des alias de module dans le noyau. | 2008-03-14 | |
* | Beaoucoup de changements dans la representation interne des modules. | 2008-02-01 | |
* | Nouvelle en-tĂȘte | 2004-07-16 | |
* | Petite correction d'affichage de modules | 2003-05-08 | |
* | Correction bug PR#278 | 2003-04-14 | |
* | Pour satisfaire ProofGeneral | 2003-01-31 | |
* | La notation with dependante + affichage dependante de moduels corrige | 2002-09-20 | |
* | Pretty-printing preliminaire des modules, commandes | 2002-08-19 |