Add lipics and cc logos

2022-02-07 14:43:02 +01:00 · 2022-02-07 14:43:02 +01:00 · 307bb4e3d4
parent 1051e2cd7b
commit 307bb4e3d4
3 changed files with 2 additions and 0 deletions
--- a/examples/scholarly_paper/2021-ITP-PMTI/ROOT
+++ b/examples/scholarly_paper/2021-ITP-PMTI/ROOT
@ -7,6 +7,8 @@ session "2021-ITP-PMTI" = "Isabelle_DOF" +
    "root.bib"
    "preamble.tex"
    "build"
+    "cc-by.pdf"
+    "lipics-logo-bw.pdf"
    "figures/Req-Appl-ex.png"
    "figures/formal-development.png"
    "figures/Req-Def-ex.png"
--- a/examples/scholarly_paper/2021-ITP-PMTI/document/cc-by.pdf
+++ b/examples/scholarly_paper/2021-ITP-PMTI/document/cc-by.pdf
--- a/examples/scholarly_paper/2021-ITP-PMTI/document/lipics-logo-bw.pdf
+++ b/examples/scholarly_paper/2021-ITP-PMTI/document/lipics-logo-bw.pdf