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

Removed unused option.

This commit is contained in:
Achim D. Brucker 2022-06-24 17:49:04 +01:00
parent a973707a73
commit 0d55da68de
1 changed files with 2 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
etc/options
View File

@ -2,15 +2,12 @@
section "Isabelle/DOF"
public option dof_document_class : string = "scrreprt-modern"
-- "Default document class for Isabelle/DOF documents"
public option dof_template : string = "scrreprt-modern"
-- "Default document template for Isabelle/DOF documents"
public option dof_ontologies : string = "Isabelle_DOF.technical_report Isabelle_DOF.scholarly_paper"
-- "Isabelle/DOF ontologies (separated by blanks)"
public option dof_template : string = "scrartcl"
-- "Isabelle/DOF document template (separated by blanks)"
option dof_version : string = "Unreleased"
-- "Isabelle/DOF version"
(* "Unreleased" for development, semantic version for releases *)