- On adopte finalement la méthode de Pierre Courtieu pour le undo de

  proof general (caractérisation des undos comme triplet d'un nombre de
  Undo, n'un nombre de Abort et d'un Reset vers un état/id).
  C'est plus simple et cela permet en plus d'avoir des buts imbriqués.
  Au passage, "goto point" se comporte comme une suite de "one step back".
- Quelques bricoles sur la fenêtre préférences de Shortcuts.
- Quelques réorganisations autour du menu Display.


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

0 files changed, 0 insertions, 0 deletions