Skip to content
This repository
Browse code

Fixed #2789.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15360 85f007b7-540e-0410-9357-904b9bb8a0f7
  • Loading branch information...
commit 97d7b5ee7c122681b82723c90115b98ddc09b996 1 parent a3fc112
Pierre-Marie Pédrot authored May 25, 2012
2  COPYRIGHT
@@ -7,7 +7,7 @@ This product includes also software developed by
2  CREDITS
@@ -65,7 +65,7 @@ plugins/subtac
65 65
 plugins/xml
66 66
   developed by Claudio Sacerdoti (Univ. Bologna, 2000-2005) 
67 67
   as part of the HELM and MoWGLI projects; extension by Cezary Kaliszyk as
68  
-  part of the ProofWeb project (Radbout University at Nijmegen, 2008)
  68
+  part of the ProofWeb project (Radboud University at Nijmegen, 2008)
69 69
 plugins/micromega
70 70
   developed by Frédéric Besson (IRISA/INRIA, 2006-2008), with some 
71 71
   extensions by Evgeny Makarov (INRIA, 2007); sum-of-squares solver and 
4  doc/refman/RefMan-pre.tex
@@ -586,7 +586,7 @@ \section*{Credits: version 8.1}
586 586
 
587 587
 Finally, many users suggested improvements of the system through the
588 588
 Coq-Club mailing list and bug-tracker systems, especially user groups
589  
-from INRIA Rocquencourt, Radbout University, University of
  589
+from INRIA Rocquencourt, Radboud University, University of
590 590
 Pennsylvania and Yale University.
591 591
 
592 592
 \enlargethispage{\baselineskip}
@@ -683,7 +683,7 @@ \section*{Credits: version 8.2}
683 683
 also thank many users and partners for suggestions and feedback, in
684 684
 particular Pierre Castéran and Arthur Charguéraud, the INRIA Marelle
685 685
 team, Georges Gonthier and the INRIA-Microsoft Mathematical Components team, 
686  
-the Foundations group at Radbout university in Nijmegen, reporters of bugs
  686
+the Foundations group at Radboud university in Nijmegen, reporters of bugs
687 687
 and participants to the Coq-Club mailing list.
688 688
 
689 689
 \begin{flushright}

0 notes on commit 97d7b5e

Please sign in to comment.
Something went wrong with that request. Please try again.