Commit message (Expand) | Author | Age | |
---|---|---|---|
* | COMMITED BYTECODE COMPILER | 2004-10-20 | |
* | Mise en place mécanisme de compatibilité ocaml 3.08 | 2004-07-16 | |
* | install de coqdoc | 2004-03-17 | |
* | coqdoc | 2004-02-24 | |
* | pour win32 | 2004-01-29 | |
* | configure et make install s'occupent de CoqIde tout seuls | 2003-05-19 | |
* | Option pour compiler une version 'light' des réels | 2002-11-26 | |
* | MAJ ocaml 3.04 sur Windows | 2002-01-10 | |
* | Prise en compte camlp4.opt dans la configuration et le Makefile | 2000-11-11 | |
* | Retrait du 'strip' en cas de profiling | 2000-06-27 | |
* | compilation bytecode / native : | 2000-05-03 | |
* | - erreurs Pretype | 1999-12-10 | |
* | Initial revision | 1999-08-16 |