nicolas.meric
/
Isabelle_DOF
forked from Isabelle_DOF/Isabelle_DOF
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fixed ROOT (removed dependency on non-existing ontology.tex.

This commit is contained in:
Achim D. Brucker 2018-11-06 09:30:18 +00:00
parent 4aa8730762
commit ab3ba421c8
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
examples/math_exam/BAC2017/ROOT
View File

@ -1,4 +1,4 @@
session "BAC2017" = "HOL" +
session "BAC2017" = "Functional-Automata" +
options [document = pdf, document_output = "output",quick_and_dirty=true]
theories [document = false]
"../../../ontologies/mathex_onto"
@ -9,5 +9,4 @@ session "BAC2017" = "HOL" +
document_files
"root.tex"
"preamble.tex"
"ontologies.tex"
"build"