...

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 2b5380e69db716eb5ad48d5ceed2f2ae1ecf8f01..de49a48517ddf2ea75692e51b63546d3dc50d761 100644 (file)
--- a/helm/gTopLevel/gTopLevel.ml
+++ b/helm/gTopLevel/gTopLevel.ml
@@ -1333,7 +1333,8 @@ let new_proof () =
  let non_empty_type = ref false in
  let window =
   GWindow.window
-   ~width:600 ~modal:true ~title:"New Proof or Definition" ~border_width:2 () in
+   ~width:600 ~modal:true ~title:"New Proof or Definition..."
+   ~border_width:2 () in
  let vbox = GPack.vbox ~packing:window#add () in
  let hbox =
   GPack.hbox ~border_width:0