Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ajout translate | 2003-03-18 | |
* | Ajout interp | 2002-11-24 | |
* | Ajout contribs manquantes | 2002-09-13 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 | |
* | correction d'un bug de Correctness (pour Y Bertot) | 2001-06-27 | |
* | Retablissement de minicoq | 2001-05-29 | |
* | modifs pour extraction; bug coqmktop | 2001-03-06 | |
* | Ajout du répertoire config utilisé par System en local | 2000-12-05 | |
* | -I config | 2000-11-29 | |
* | Paramètrage de ocamldebug-v7 par configure à partir d'un 'template' | 2000-11-24 |