diff --git a/org.rodinp.handbook.feature/latex/rodin-doc.tex b/org.rodinp.handbook.feature/latex/rodin-doc.tex index 76371bf69564b004bcac8029c7e66e476fe1f390..9b08d62292db148e8a04031ff0e6e72ae6db7080 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}.