| Age | Commit message (Expand) | Author |
|---|
| 2009-10-04 | Removal of trailing spaces. | serpyc |
| 2009-09-26 | Fixed a hole in glob_tactic that allowed some Ltac code to refer to | herbelin |
| 2009-09-17 | Delete trailing whitespaces in all *.{v,ml*} files | glondu |
| 2009-06-11 | Use a lazy value for the message in FailError, so that it won't be | msozeau |
| 2009-03-04 | Timeout message was not always displayed | barras |
| 2008-08-05 | Correction de bugs: | herbelin |
| 2008-08-04 | Évolutions diverses et variées. | herbelin |
| 2008-07-15 | Autour du parsing: | herbelin |
| 2007-12-31 | Merged revisions 10358-10362,10365,10371-10373,10377,10383-10384,10394-10395,... | msozeau |
| 2007-12-06 | Plus de combinateurs sont passés de Util à Option. Le module Options | aspiwack |
| 2007-09-30 | Ajout infos de débogage de "universe inconsistency" quand option Set | herbelin |
| 2007-05-28 | Contrôle de la compatibilité de apply via une information dans les | herbelin |
| 2006-10-28 | Documentation de "Set Printing Universes", "Print Universes" (anciennement | herbelin |
| 2006-08-28 | improve the amount of information given by the Ltac tactic debugger | bertot |
| 2006-02-07 | Amélioration des messages d'erreurs de tacred; unfold considère maintenant le | herbelin |
| 2006-01-21 | Messages de idtac et fail peuvent maintenant être des listes de string, int ... | herbelin |
| 2005-12-26 | Suppression des parseurs et printeurs v7; suppression du traducteur (mécanis... | herbelin |
| 2005-12-17 | Création d'un type d'erreur RecursionSchemeError distinct de InductiveError ... | herbelin |
| 2005-12-17 | Création d'un type d'erreur RecursionSchemeError distinct de InductiveError ... | herbelin |
| 2004-07-16 | Abstraction vis à vis du type loc pour compatibilité ocaml 3.08 | herbelin |
| 2004-07-16 | Nouvelle en-tête | herbelin |
| 2004-03-16 | Adaptation a la v7 du message d'erreur Match_failure | herbelin |
| 2004-02-04 | search window | coq |
| 2003-10-28 | Affichage Assert_failure en ocaml 3.07 | herbelin |
| 2003-03-31 | Ajout d'un message à FailTac | herbelin |
| 2003-02-13 | Debugger plus informatif | delahaye |
| 2003-01-17 | msg Failtac; echec -batch s'il reste des preuves | filliatr |
| 2002-11-14 | Réforme de l'interprétation des termes : | herbelin |
| 2002-08-02 | Modules dans COQ\!\!\!\! | coq |
| 2002-05-29 | Nouveau modèle d'analyse syntaxique et d'interprétation des tactiques et co... | herbelin |
| 2002-04-04 | resolution du pb d'efficacite du a Sign.add_named_decl | barras |
| 2002-03-27 | Bug d'affichage des erreurs localisées dans un fichier suite à | herbelin |
| 2002-02-20 | Changé le nom du module Errors (errors.mli, errors.ml) en Cerrors parce | ddr |
