diff options
| author | marche | 2003-11-25 10:00:14 +0000 |
|---|---|---|
| committer | marche | 2003-11-25 10:00:14 +0000 |
| commit | bc8123f6b8f81fb3f2b1e03a832263fb0c4e70e1 (patch) | |
| tree | 192cc10922a1423fc41350eabb478bb1236ef50b | |
| parent | 97aac572bcdfe813c9e4f7e139359abc8cf0bd1d (diff) | |
textes
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4986 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | ide/coqide.ml | 11 |
1 files changed, 6 insertions, 5 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index c43dea0572..bdaa9c7573 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -2129,8 +2129,8 @@ let main files = ~callback ()) in - add_to_menu_toolbar "_Interrupt computations" - ~tooltip:"Interrupt computations" + add_to_menu_toolbar "_Interrupt" + ~tooltip:"Interrupt" ~key:GdkKeysyms._Break ~callback:break `STOP @@ -2852,12 +2852,13 @@ with _ := Induction for _ Sort _.\n",61,10, Some GdkKeysyms._S); b#insert ~iter:b#start_iter "\t\t"; with _ -> ()); b#insert - "\n\tCoqIDE: a Gtk2 interface for Coq.\n\n\ + "\n\tCoqIDE: a Gtk2 interface for Coq\n\n\ Main author : Benjamin Monate\n\ Contributions : Pierre Letouzey, Claude Marché\n\n\ - Feature wish or bug report: use Web interface\n\ + Feature wish or bug report: use Web interface\n\n\ \thttp://coq.inria.fr/bin/coq-bugs\n\n\ - Version information\n--------\n"; + Version information\n\ + -------------------\n"; b#insert ((Coq.version ())) in |