diff options
| -rw-r--r-- | CHANGES | 6 |
1 files changed, 5 insertions, 1 deletions
@@ -111,7 +111,8 @@ que les 3 primitives), on peut typer avec "constr", "tactic", ou Arguments" et non plus selon la valeur qu'elle avait au moment de la définition dans la section. -- SearchPattern / SearchRewrite (contrib de Yves Bertot) +- SearchPattern / SearchRewrite (contrib from Yves Bertot); Search can + be restricted to some modules - Le point final des commandes doit être suivi d'un blanc (retour chariot, tabulation ou espace) @@ -141,6 +142,9 @@ Tactiques - AutoRewrite ne s'occupe maintenant que du but principal et c'est les Hint Rewrite qui gèrent les sous-buts générés +- Redondant or incompatible instantiations in Apply ... with now + correctly trapped + Outils - deux binaires maximum : coqtop.byte et coqtop.opt si plateforme native; |