Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Merge branch '2021-ITP-PMTI' of https://git.logicalhacking.com/Isabelle_DOF/Isabelle_DOF into 2021-ITP-PMTI

This commit is contained in:
Idir AIT SADOUNE 2022-02-07 15:18:49 +01:00
parent d4f8ee344b 46450e951c
commit 893e239ce5
4 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/scholarly_paper/2021-ITP-PMTI/ROOT
View File

@ -7,6 +7,9 @@ session "2021-ITP-PMTI" = "Isabelle_DOF" +
"root.bib"
"preamble.tex"
"build"
"cc-by.pdf"
"lipics-logo-bw.pdf"
"orcid.pdf"
"figures/Req-Appl-ex.png"
"figures/formal-development.png"
"figures/Req-Def-ex.png"

BIN
examples/scholarly_paper/2021-ITP-PMTI/document/cc-by.pdf Normal file
View File

Binary file not shown.

BIN
examples/scholarly_paper/2021-ITP-PMTI/document/lipics-logo-bw.pdf Normal file
View File

Binary file not shown.

BIN
examples/scholarly_paper/2021-ITP-PMTI/document/orcid.pdf Normal file
View File

Binary file not shown.