From e0aea9a731c81e9bdae6e7c41b0d9fab9fae4d6c Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 8 Apr 2011 16:25:48 +0000
Subject: 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
---
 ide/coqide.ml | 4 ++--
 1 file 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\
-- 
cgit v1.2.3