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

More accurate defaults

This commit is contained in:
Makarius Wenzel 2022-12-01 16:39:41 +01:00
parent ca18453043
commit 7772c73aaa
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
etc/options
View File

@ -2,7 +2,7 @@
section "Isabelle/DOF"
public option dof_template : string = "scrreprt-modern"
public option dof_template : string = "Isabelle_DOF.scrreprt-modern"
-- "Default document template for Isabelle/DOF documents"
public option dof_ontologies : string = "Isabelle_DOF.technical_report Isabelle_DOF.scholarly_paper"

6
src/scala/dof.scala
View File

@ -45,11 +45,11 @@ object DOF {
val session = "Isabelle_DOF"
val ontologies: List[String] = List("Isabelle_DOF.scholarly_paper")
def implode_ontologies(list: List[String]): String = Word.implode(list)
def explode_ontologies(text: String): List[String] = Word.explode(text)
val template = "Isabelle_DOF.scrartcl"
val ontologies: List[String] =
explode_ontologies("Isabelle_DOF.technical_report Isabelle_DOF.scholarly_paper")
val template = "Isabelle_DOF.scrreprt-modern"
val latest_version = "1.3.0"
val latest_isabelle = "Isabelle2021-1"