diff options
-rw-r--r-- | AUTHORS | 18 | ||||
-rw-r--r-- | TRANSLATION | 1 |
2 files changed, 19 insertions, 0 deletions
@@ -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 |