Commit message (Expand) | Author | Age | |
---|---|---|---|
* | New keyword "Inline" for Parameters and Axioms for automatic | 2007-04-25 | |
* | Débranchement du polymorphisme de sorte sur les définitions dans Type | 2006-10-30 | |
* | Compatibilité du polymorphisme de constantes avec les sections. | 2006-10-29 | |
* | Extension du polymorphisme de sorte au cas des définitions dans Type. | 2006-10-28 | |
* | Changement des named_context | 2005-12-02 | |
* | Nettoyage suite nouvel avertissement Z de ocaml 3.09 | 2005-11-08 | |
* | compatibility with POWERPC | 2004-11-22 | |
* | bug module M:=N avec vm | 2004-11-17 | |
* | COMMITED BYTECODE COMPILER | 2004-10-20 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | Déplacement du hash-consing vers declare.ml | 2002-12-10 | |
* | Lazy manuelles dans le code | 2002-10-07 | |
* | Lazy experimentale temporaire... | 2002-10-05 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 |