Fixed some printing details for dependent evars in emacs mode. Patch

from Hendrik Tews:
1) Print the dependent evars after "No more subgoals" and after
  "No more subgoals but non-instantiated existential". This is
  necessary to correctly display the instantiation status of dependent
  evars, because the last proof command might change them.
2) Change the ``Show Goal "id"'' command to include a header like
  goal / evar 2 is:
  This is more consistent with the other Show commands. Moreover it
  simplifies the use of this command in Proof General, because, with
  the change, the output contains the goal ID.


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

0 files changed, 0 insertions, 0 deletions