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

---
 AUTHORS     | 18 ++++++++++++++++++
 TRANSLATION |  1 +
 2 files changed, 19 insertions(+)
 create mode 100644 AUTHORS
 create mode 100644 TRANSLATION

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>
diff --git a/TRANSLATION b/TRANSLATION
new file mode 100644
index 0000000..4eb88c9
--- /dev/null
+++ b/TRANSLATION
@@ -0,0 +1 @@
+None yet
\ No newline at end of file
-- 
cgit v1.2.3-55-g7522