Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Move from ocamlweb to ocamdoc to generate mli documentation | pboutill | 2010-04-29 |
* | Delete trailing whitespaces in all *.{v,ml*} files | glondu | 2009-09-17 |
* | Nettoyage de code en vue de la release. Plus de Warning: Unused | aspiwack | 2007-12-18 |
* | Processor integers + Print assumption (see coqdev mailing list for the | aspiwack | 2007-05-11 |
* | Changement des named_context | gregoire | 2005-12-02 |
* | compatibility with POWERPC | gregoire | 2004-11-22 |
* | bug module M:=N avec vm | barras | 2004-11-17 |
* | COMMITED BYTECODE COMPILER | barras | 2004-10-20 |