X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FgTopLevel%2FgTopLevel.ml;h=de49a48517ddf2ea75692e51b63546d3dc50d761;hb=7d47820d03f154a86c966fb72c52f42b6c52176a;hp=2b5380e69db716eb5ad48d5ceed2f2ae1ecf8f01;hpb=674691387a3d7d0055c100bfb0bc9e0dcb1dcd07;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