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

Using full-qualified names for ontologies in ROOT files.

This commit is contained in:
Achim D. Brucker 2022-06-26 18:45:47 +01:00
parent c1efddf252
commit 70b2647e7c
5 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
examples/CENELEC_50128/mini_odo/ROOT
View File

@ -1,6 +1,6 @@
session "mini_odo" = "Isabelle_DOF" +
options [document = pdf, document_output = "output", document_build = dof,
dof_ontologies = "technical_report cenelec_50128", dof_template = "scrreprt-modern"]
dof_ontologies = "Isabelle_DOF.technical_report Isabelle_DOF.cenelec_50128", dof_template = "scrreprt-modern"]
theories
"mini_odo"
document_files

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

@ -1,6 +1,6 @@
session "2018-cicm-isabelle_dof-applications" = "Isabelle_DOF" +
options [document = pdf, document_output = "output", document_build = dof,
dof_ontologies = "scholarly_paper", dof_template = lncs,
dof_ontologies = "Isabelle_DOF.scholarly_paper", dof_template = lncs,
quick_and_dirty = true]
theories
IsaDofApplications

2
examples/scholarly_paper/2020-iFM-CSP/ROOT
View File

@ -1,6 +1,6 @@
session "2020-iFM-csp" = "Isabelle_DOF" +
options [document = pdf, document_output = "output", document_build = dof,
dof_ontologies = "scholarly_paper", dof_template = scrartcl]
dof_ontologies = "Isabelle_DOF.scholarly_paper", dof_template = scrartcl]
theories
"paper"
document_files

2
examples/technical_report/Isabelle_DOF-Manual/ROOT
View File

@ -1,6 +1,6 @@
session "Isabelle_DOF-Manual" = "Isabelle_DOF" +
options [document = pdf, document_output = "output", document_build = dof,
dof_ontologies = "technical_report cenelec_50128", dof_template = "scrreprt-modern",
dof_ontologies = "Isabelle_DOF.technical_report Isabelle_DOF.cenelec_50128", dof_template = "scrreprt-modern",
quick_and_dirty = true]
theories
"Isabelle_DOF-Manual"

2
examples/technical_report/TR_my_commented_isabelle/ROOT
View File

@ -1,6 +1,6 @@
session "TR_MyCommentedIsabelle" = "Isabelle_DOF" +
options [document = pdf, document_output = "output", document_build = dof,
dof_ontologies = "technical_report", dof_template = scrreprt,
dof_ontologies = "Isabelle_DOF.technical_report", dof_template = scrreprt,
quick_and_dirty = true]
theories
"TR_MyCommentedIsabelle"