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

Changed default ontology to scholarly_paper.
Isabelle_DOF/Isabelle_DOF/master This commit looks good Details

This commit is contained in:
Achim D. Brucker 2019-08-03 22:06:44 +01:00
parent daafc9dcff
commit abe4e8ef9a
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/Tools/mkroot_DOF
View File

@ -74,7 +74,7 @@ function fail()
NAME=""
DEFAULT_TEMPLATE="scrreprt"
DEFAULT_ONTOLOGY="core"
DEFAULT_ONTOLOGY="scholarly_paper"
TEMPLATE="$DEFAULT_TEMPLATE"
ONTOLOGY="$DEFAULT_ONTOLOGY"