From 4acf85712b1227bc18f08064f7a914cc864a28e6 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 6 Apr 2007 20:03:21 +0000
Subject: [PATCH] Updated acknowledgements in README.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@254 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/README.txt | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/prism/README.txt b/prism/README.txt
index c5f79bcd..b7fb751d 100644
--- 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: