From 67616712b06ef9e8eb3c421bb2d03b63d810ca65 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 26 May 2016 12:56:17 +0000
Subject: [PATCH] Author list - used for svn-git mirroring.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11369 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/authors.txt | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 prism/src/authors.txt

diff --git a/prism/src/authors.txt b/prism/src/authors.txt
new file mode 100644
index 00000000..f4fefe00
--- /dev/null
+++ b/prism/src/authors.txt
@@ -0,0 +1,11 @@
+dxp = Dave Parker <dave.x.parker@gmail.com>
+jklein = Joachim Klein <klein@tcs.inf.tu-dresden.de>
+vojta = Vojtech Forejt <forejtv@gmail.com>
+gxn = Gethin Norman <gethin.norman@glasgow.ac.uk>
+emhahn = Ernst Moritz Hahn <emhahn@cs.ox.ac.uk>
+fritsd = Frits Dannenberg <frits.dannenberg@cs.ox.ac.uk>
+mujma = Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
+mxk = Mark Kattenbelt <mark.kattenbelt@comlab.ox.ac.uk>
+nishan = Nishan Kamaleson <nxk249@bham.ac.uk>
+lukeh = Luke Herbert <herbert.luke@gmail.com>
+(no author) = Dave Parker <dave.x.parker@gmail.com>