Correction de bugs:

- evarconv: mauvaise idée d'utiliser la conversion sur la tête d'un
  terme applicatif au moment de tester f u1 .. un = g v1 .. vn au
  premier ordre : on revient sur l'algo tel qu'il était avant le
  commit 11187.
- Bug #1887 (format récursif cassé à cause de la vérification des idents).
- Nouveau choix de formattage du message "Tactic Failure".
- Nettoyage vocabulaire "match context" -> "match goal" au passage.


git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11305 85f007b7-540e-0410-9357-904b9bb8a0f7

0 files changed, 0 insertions, 0 deletions