Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |