From 11ab81f540ae86626c21da683892ec7452ed7f73 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Sun, 31 Aug 2014 21:36:42 +0000
Subject: [PATCH] README update (contributors).

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

diff --git a/prism/README.txt b/prism/README.txt
index 15f2418f..9fcc7172 100644
--- a/prism/README.txt
+++ b/prism/README.txt
@@ -83,6 +83,8 @@ We gratefully acknowledge contributions to the PRISM code-base from various sour
 including (in approximately reverse chronological order):
 
  * Joachim Klein: Various bug fixes, especially related to LTL
+ * Ernst Moritz Hahn: Parametric model checking, fast adaptive uniformisation + various other features
+ * Frits Dannenberg: Fast adaptive uniformisation
  * Vojtech Forejt: Various model checking code, including multi-objective + GUI enhancements
  * Hongyang Qu: Multi-objective model checking
  * Mateusz Ujma: Bug fixes and GUI improvements