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