Add orcid logo

2022-02-07 14:51:10 +01:00 · 2022-02-07 14:51:10 +01:00 · 46450e951c
parent 307bb4e3d4
commit 46450e951c
2 changed files with 1 additions and 0 deletions
--- a/examples/scholarly_paper/2021-ITP-PMTI/ROOT
+++ b/examples/scholarly_paper/2021-ITP-PMTI/ROOT
@ -9,6 +9,7 @@ session "2021-ITP-PMTI" = "Isabelle_DOF" +
    "build"
    "cc-by.pdf"
    "lipics-logo-bw.pdf"
+    "orcid.pdf"
    "figures/Req-Appl-ex.png"
    "figures/formal-development.png"
    "figures/Req-Def-ex.png"
--- a/examples/scholarly_paper/2021-ITP-PMTI/document/orcid.pdf
+++ b/examples/scholarly_paper/2021-ITP-PMTI/document/orcid.pdf