diff options
| author | marche | 2003-12-01 15:37:27 +0000 |
|---|---|---|
| committer | marche | 2003-12-01 15:37:27 +0000 |
| commit | 64abe2f912b9e52cfdb197070e3e0b8bb56cf5c5 (patch) | |
| tree | b47e64c7911a9ad92c9b7940ef6c8796b3ca0963 | |
| parent | 34f26b527c2bec59ed496760329603b20ea6e332 (diff) | |
contrib jcf
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5053 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 |