Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Abstraction vis à vis du type loc pour compatibilité ocaml 3.08 | 2004-07-16 | |
* | Nouvelle en-tête | 2004-07-16 | |
* | Adaptation a la v7 du message d'erreur Match_failure | 2004-03-16 | |
* | search window | 2004-02-04 | |
* | Affichage Assert_failure en ocaml 3.07 | 2003-10-28 | |
* | Ajout d'un message à FailTac | 2003-03-31 | |
* | Debugger plus informatif | 2003-02-13 | |
* | msg Failtac; echec -batch s'il reste des preuves | 2003-01-17 | |
* | Réforme de l'interprétation des termes : | 2002-11-14 | |
* | Modules dans COQ\!\!\!\! | 2002-08-02 | |
* | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | 2002-05-29 | |
* | resolution du pb d'efficacite du a Sign.add_named_decl | 2002-04-04 | |
* | Bug d'affichage des erreurs localisées dans un fichier suite à | 2002-03-27 | |
* | Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce | 2002-02-20 |