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

Use full qualified name for scholarly_paper.
ci/woodpecker/push/build Pipeline was successful Details

This commit is contained in:
Achim D. Brucker 2022-06-26 17:12:09 +01:00
parent f63d922096
commit 9ded308371
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/scala/dof_mkroot.scala
View File

@ -171,7 +171,7 @@ Usage: isabelle dof_mkroot [OPTIONS] [DIRECTORY]
val more_args = getopts(args)
ontologies = if (ontologies.isEmpty) List("scholarly_paper") else ontologies
ontologies = if (ontologies.isEmpty) List("Isabelle_DOF.scholarly_paper") else ontologies
if (help) {getopts.usage()} else {()}
val session_dir =