From 8fb5399838ebe69399df2e98272d34e3a742385d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Lennard=20G=C3=A4her?= <gaeher@mpi-sws.org>
Date: Wed, 7 Jun 2023 10:04:55 +0200
Subject: [PATCH] update license

---
 LICENSE | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/LICENSE b/LICENSE
index ba1ab9c..bd2b3d5 100644
--- a/LICENSE
+++ b/LICENSE
@@ -1,6 +1,15 @@
 All files in this development are distributed under the terms of the
 3-clause BSD license (https://opensource.org/licenses/BSD-3-Clause), included below.
 
+Except where otherwise noted below, all files in this development are
+  Copyright: The Semantics Course Team and Contributors
+  Current contributors are:
+  - Simon Spies
+  - Lennard Gäher
+
+Exceptions apply for code re-used from other projects.
+This is noted in the respective file headers and the copyright is reproduced below.
+
 This development also includes files based on the Iris development
 (https://gitlab.mpi-sws.org/iris/iris) and licensed under the 3-clause BSD license:
   Copyright: Iris developers and contributors
-- 
GitLab