Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Les contraintes d'univers sont maintenant collectées dans le champs mod_cons... | 2008-06-25 | |
* | fixed universes bug related to module inclusion | 2008-04-22 | |
* | Ajout des alias de module dans le noyau. | 2008-03-14 | |
* | Beaoucoup de changements dans la representation interne des modules. | 2008-02-01 | |
* | Compatibilité ocamlweb pour cible doc | 2005-01-21 | |
* | HUGE COMMIT | 2005-01-03 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 |