Renamed end-of-proof message by a less disturbing one.

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

1 files changed, 1 insertions, 1 deletions

diff --git a/ide/ideproof.ml b/ide/ideproof.ml
index 1e0f526a0..b79d64692 100644
--- a/ide/ideproof.ml
+++ b/ide/ideproof.ml
@@ -125,7 +125,7 @@ let display mode (view:GText.view) goals hints evars =
       in
       List.iter iter evs
     | _ ->
-      view#buffer#insert "Proof Completed."
+      view#buffer#insert "No more subgoals."
     end
   | Some { Interface.fg_goals = []; Interface.bg_goals = bg } ->
     (* No foreground proofs, but still unfocused ones *)