chore: Inline licensing

main
Henrik Böving 2021-12-10 13:29:04 +01:00
parent 7785c9f5bd
commit 77cb52e9cb
3 changed files with 18 additions and 0 deletions

View File

@ -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.Process
import DocGen4.Load import DocGen4.Load

View File

@ -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
import DocGen4.Process import DocGen4.Process
import Std.Data.HashMap import Std.Data.HashMap

View File

@ -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
import Lean.PrettyPrinter import Lean.PrettyPrinter
import Std.Data.HashMap import Std.Data.HashMap