forked from Isabelle_DOF/Isabelle_DOF
9 lines
227 B
Plaintext
9 lines
227 B
Plaintext
|
chapter AFP
|
||
|
|
||
|
session "poster-example" (AFP) = "Isabelle_DOF-Ontologies" +
|
||
|
options [document = pdf, document_output = "output", document_build = dof, timeout = 300]
|
||
|
theories
|
||
|
"poster"
|
||
|
document_files
|
||
|
"preamble.tex"
|