Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Abandon tests syntaxe v7; remplacement des .v par des fichiers en syntaxe v8 | 2005-12-21 | |
* | Ajout Unset Implicit Arguments manquant | 2005-03-21 | |
* | Test d'un bug de 'Inv.dependent_hyps' qui ne met pas à jour le type des hyps... | 2005-03-20 | |
* | Nouvel exemple; correction du contexte du précédent | 2004-03-13 | |
* | Corrections | 2004-03-12 | |
* | Ajout vieil exemple de coq-club | 2004-03-11 | |
* | Ajout bug #540 | 2004-03-11 | |
* | Il ne doit plus y avoir de preuves non terminées à la sortie du fichier | 2003-01-19 | |
* | Test de la correction d'un bug soumis par Dachuan Yu | 2002-11-06 |