pierre.derathe
/
Isabelle_DOF
Archived
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Initial commit.

This commit is contained in:
Achim D. Brucker 2022-04-15 22:05:19 +01:00
parent 64b4eca5ea
commit a0993b6eea
2 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/ROOT
View File

@ -9,6 +9,7 @@ session "2018-cicm-isabelle_dof-applications" = "Isabelle_DOF" +
"authorarchive.sty"
"preamble.tex"
"lstisadof.sty"
"vector_iD_icon.pdf"
"figures/isabelle-architecture.pdf"
"figures/Dogfood-Intro.png"
"figures/InteractiveMathSheet.png"

BIN
examples/scholarly_paper/2018-cicm-isabelle_dof-applications/document/vector_iD_icon.pdf Normal file
View File

Binary file not shown.