diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.ml | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 3b1b6c2e00..d4bd7def22 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -2874,13 +2874,14 @@ 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\ - Main author : Benjamin Monate\n\ - Contributions : Pierre Letouzey, Claude Marché\n\n\ - Feature wish or bug report: use Web interface\n\n\ - \thttp://coq.inria.fr/bin/coq-bugs\n\n\ - Version information\n\ - -------------------\n"; + "\n\tCoqIDE: a Gtk2 interface for Coq\n\ + \nMain author : Benjamin Monate\ + \nContributors : Jean-Christophe Filliâtre\ + \n Pierre Letouzey, Claude Marché\n\ + \nFeature wish or bug report: use Web interface\n\ + \n\thttp://coq.inria.fr/bin/coq-bugs\n\ + \nVersion information\ + \n-------------------\n"; b#insert ((Coq.version ())) in |