- Prise en compte des frozen state de Coq autant que possible pour

  améliorer l'efficacité du undo. Restent les Qed et les End dont le
  undo peut nécessiter de rejouer un segment arbitrairement complexe
  (pour le undo du Qed, il faudrait typiquement que Coq se souvienne
  de l'entrelacement de déclarations et de tactiques).
- Code mort concernant les mots-clés dans coq.ml.


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

0 files changed, 0 insertions, 0 deletions