From bf0a511f5771dd2eea5853d38aa3354ab59acc86 Mon Sep 17 00:00:00 2001
From: sr
Date: Mon, 4 Feb 2013 19:56:46 +0100
Subject: credits

---
 AUTHORS | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 AUTHORS

(limited to 'AUTHORS')

diff --git a/AUTHORS b/AUTHORS
new file mode 100644
index 0000000..0f043bc
--- /dev/null
+++ b/AUTHORS
@@ -0,0 +1,18 @@
+PVS2 Rewrite:
+Simon Rettberg <simon.rettberg@rz.uni-freiburg.de>
+
+
+* PVS1 *
+
+Initial design and first versions:
+Simon Wittenberg <wittenb@informatik.uni-freiburg.de>
+
+Contributors:
+Johann Betz <jbetz@informatik.uni-freiburg.de>
+Javier Castillo <castillf@informatik.uni-freiburg.de>
+Johann Latocha <johann@latocha.de>
+Achille Nana <achille.achille@gmail.com>
+Simon Rettberg <simon.rettberg@rz.uni-freiburg.de>
+Fadi Salameh <fadi84@hotmail.com>
+Alexander Hoppe <a.hoppe@gmail.com>
+Benjamin Lieberwirt <benjamin.lieberwirth@googlemail.com>
-- 
cgit v1.2.3-55-g7522