From 7d47820d03f154a86c966fb72c52f42b6c52176a Mon Sep 17 00:00:00 2001
From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 18 Nov 2002 17:28:47 +0000
Subject: [PATCH] ...

---
 helm/gTopLevel/gTopLevel.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/helm/gTopLevel/gTopLevel.ml b/helm/gTopLevel/gTopLevel.ml
index 2b5380e69..de49a4851 100644
--- 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
-- 
2.39.2