diff options
| author | pboutill | 2011-04-08 16:25:48 +0000 |
|---|---|---|
| committer | pboutill | 2011-04-08 16:25:48 +0000 |
| commit | e0aea9a731c81e9bdae6e7c41b0d9fab9fae4d6c (patch) | |
| tree | d5813919bd909281aa020474eabd3b5fbf2c4e07 | |
| parent | 50b42ccf1a0d6db4baf2da893723f8244f00d1fb (diff) | |
More up to date About in coqide
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13975 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | ide/coqide.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index 62e77219c1..b41f79a099 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -3049,9 +3049,9 @@ let main files = ); let about_full_string = "\nCoq is developed by the Coq Development Team\ - \n(INRIA - CNRS - University Paris 11 and partners)\ + \n(INRIA - CNRS - LIX - LRI - PPS)\ \nWeb site: " ^ Coq_config.wwwcoq ^ - "\nFeature wish or bug report: http://logical.saclay.inria.fr/coq-bugs\ + "\nFeature wish or bug report: http://coq.inria.fr/bugs/\ \n\ \nCredits for CoqIDE, the Integrated Development Environment for Coq:\ \n\ |