From f1269c9d8d421cf8f19d4597d96f64d4ada378ca Mon Sep 17 00:00:00 2001
From: Daniel Plagge <plagge@cs.uni-duesseldorf.de>
Date: Thu, 10 Oct 2013 14:59:20 +0000
Subject: [PATCH] c

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@15975 1434b563-b632-4741-aa49-43a3a8374d2e
---
 org.rodinp.handbook.feature/latex/rodin-doc.tex | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/org.rodinp.handbook.feature/latex/rodin-doc.tex b/org.rodinp.handbook.feature/latex/rodin-doc.tex
index 76371bf..9b08d62 100644
--- a/org.rodinp.handbook.feature/latex/rodin-doc.tex
+++ b/org.rodinp.handbook.feature/latex/rodin-doc.tex
@@ -250,7 +250,8 @@ We use \textsf{sans serif font} for GUI elements like menus and buttons.  Menu a
 
 The content of this handbook has been growing since the formation of the European Union IST Project RODIN in 2004.  Giving credit to every contributor is almost impossible and attempting to do so would almost certainly omit some people, which would contradict the spirit of this work.  It should be sufficient to say that we extend our gratitude to all contributors to the Rodin Wiki (\ref{rodin_wiki}). In particular, we would like to thank Systerel\footnote{\url{http://www.systerel.fr}} for their significant contributions to the handbook as they have been the main driver behind the tool and its documentation.
 
-Jean-Raymond Abrial and the team at the ETH Zurich had a mayor influence in the development of Event-B and the Rodin project. Thank you very much!
+Jean-Raymond Abrial and the team at the ETH Zurich had a key role in the development of Event-B
+ and the Rodin project. Thank you very much!
 
 We would also like to thank Cliff Jones, who never gave up the quest to improve the Rodin documentation, and Ken Robinson, who contributed the \file{EventB-Summary.pdf}{Event-B Cheat Sheet}.
 
-- 
GitLab