Permalink
Browse files

Fixed #2789.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15360 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
1 parent a3fc112 commit 97d7b5ee7c122681b82723c90115b98ddc09b996 @ppedrot ppedrot committed May 25, 2012
Showing with 4 additions and 4 deletions.
  1. +1 −1 COPYRIGHT
  2. +1 −1 CREDITS
  3. +2 −2 doc/refman/RefMan-pre.tex
View
2 COPYRIGHT
@@ -7,7 +7,7 @@ This product includes also software developed by
Pierre Crégut, France Telecom R & D (plugins/omega and plugins/romega)
Pierre Courtieu and Julien Forest, CNAM (plugins/funind)
Claudio Sacerdoti Coen, HELM, University of Bologna, (plugins/xml)
- Pierre Corbineau, Radbout University, Nijmegen (declarative mode)
+ Pierre Corbineau, Radboud University, Nijmegen (declarative mode)
John Harrison, University of Cambridge (csdp wrapper)
The file CREDITS contains a list of contributors.
View
2 CREDITS
@@ -65,7 +65,7 @@ plugins/subtac
plugins/xml
developed by Claudio Sacerdoti (Univ. Bologna, 2000-2005)
as part of the HELM and MoWGLI projects; extension by Cezary Kaliszyk as
- part of the ProofWeb project (Radbout University at Nijmegen, 2008)
+ part of the ProofWeb project (Radboud University at Nijmegen, 2008)
plugins/micromega
developed by Fr�d�ric Besson (IRISA/INRIA, 2006-2008), with some
extensions by Evgeny Makarov (INRIA, 2007); sum-of-squares solver and
View
4 doc/refman/RefMan-pre.tex
@@ -586,7 +586,7 @@ \section*{Credits: version 8.1}
Finally, many users suggested improvements of the system through the
Coq-Club mailing list and bug-tracker systems, especially user groups
-from INRIA Rocquencourt, Radbout University, University of
+from INRIA Rocquencourt, Radboud University, University of
Pennsylvania and Yale University.
\enlargethispage{\baselineskip}
@@ -683,7 +683,7 @@ \section*{Credits: version 8.2}
also thank many users and partners for suggestions and feedback, in
particular Pierre Castéran and Arthur Charguéraud, the INRIA Marelle
team, Georges Gonthier and the INRIA-Microsoft Mathematical Components team,
-the Foundations group at Radbout university in Nijmegen, reporters of bugs
+the Foundations group at Radboud university in Nijmegen, reporters of bugs
and participants to the Coq-Club mailing list.
\begin{flushright}

0 comments on commit 97d7b5e

Please sign in to comment.