From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Mon, 18 Nov 2002 17:28:47 +0000 (+0000)
Subject: ...
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=7d47820d03f154a86c966fb72c52f42b6c52176a;p=helm.git

...
---

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