Updated command line parameters of DOF_mkroot.
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
Isabelle_DOF/Isabelle_DOF/master This commit looks good
Details
This commit is contained in:
parent
e450a45c71
commit
804a3566cc
|
@ -102,7 +102,6 @@ Usage: isabelle DOF_mkroot [OPTIONS] [DIR]
|
||||||
|
|
||||||
Options are:
|
Options are:
|
||||||
-h print this help text and exit
|
-h print this help text and exit
|
||||||
-d enable document preparation
|
|
||||||
-n NAME alternative session name (default: DIR base name)
|
-n NAME alternative session name (default: DIR base name)
|
||||||
-o ONTOLOGY (default: core)
|
-o ONTOLOGY (default: core)
|
||||||
Available ontologies:
|
Available ontologies:
|
||||||
|
|
Loading…
Reference in New Issue