Updated acknowledgements in README.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@254 bbc10eb1-c90d-0410-af57-cb519fbb1720
19 years ago · 4acf85712b
1 changed files with 5 additions and 1 deletions
--- a/prism/README.txt
+++ b/prism/README.txt
@ -73,11 +73,15 @@ library, see:
 ACKNOWLEDGEMENTS
 ----------------

-PRISM has been principally developed in the School of Computer Science at the University of Birmingham by:
+The core team behind the development of PRISM, working in the School of Computer Science at the University of Birmingham, comprises:

 - Dave Parker
 - Gethin Norman
 - Marta Kwiatkowska
+ - Mark Kattenbelt
+
+Much of the work on the GUI and simulator was originally done by:
+
 - Andrew Hinton

 We also gratefully acknowledge contributions by: