From 77cb52e9cb4bce46c6eb325a0dccaac6be2212f9 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Henrik=20B=C3=B6ving?= Date: Fri, 10 Dec 2021 13:29:04 +0100 Subject: [PATCH] chore: Inline licensing --- DocGen4.lean | 6 ++++++ DocGen4/Load.lean | 6 ++++++ DocGen4/Process.lean | 6 ++++++ 3 files changed, 18 insertions(+) diff --git a/DocGen4.lean b/DocGen4.lean index 9ce5c22..d8b7233 100644 --- a/DocGen4.lean +++ b/DocGen4.lean @@ -1,2 +1,8 @@ +/- +Copyright (c) 2021 Henrik Böving. All rights reserved. +Released under Apache 2.0 license as described in the file LICENSE. +Authors: Henrik Böving +-/ + import DocGen4.Process import DocGen4.Load diff --git a/DocGen4/Load.lean b/DocGen4/Load.lean index e44cd95..7d04c64 100644 --- a/DocGen4/Load.lean +++ b/DocGen4/Load.lean @@ -1,3 +1,9 @@ +/- +Copyright (c) 2021 Henrik Böving. All rights reserved. +Released under Apache 2.0 license as described in the file LICENSE. +Authors: Henrik Böving +-/ + import Lean import DocGen4.Process import Std.Data.HashMap diff --git a/DocGen4/Process.lean b/DocGen4/Process.lean index 0763c65..6116f9b 100644 --- a/DocGen4/Process.lean +++ b/DocGen4/Process.lean @@ -1,3 +1,9 @@ +/- +Copyright (c) 2021 Henrik Böving. All rights reserved. +Released under Apache 2.0 license as described in the file LICENSE. +Authors: Henrik Böving +-/ + import Lean import Lean.PrettyPrinter import Std.Data.HashMap