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
804a3566cc
commit
189baf9f27
|
@ -86,7 +86,7 @@ editor.
|
||||||
The DOF-plugin provides an alternative to Isabelle's ``mkroot`` command.
|
The DOF-plugin provides an alternative to Isabelle's ``mkroot`` command.
|
||||||
Isabelle projects that use DOF need to be created using
|
Isabelle projects that use DOF need to be created using
|
||||||
```console
|
```console
|
||||||
foo@bar:~$ isabelle DOF_mkroot -d
|
foo@bar:~$ isabelle DOF_mkroot
|
||||||
```
|
```
|
||||||
The ``DOF_mkroot`` command takes the same parameter as the standard
|
The ``DOF_mkroot`` command takes the same parameter as the standard
|
||||||
``mkroot`` command of Isabelle. Thereafter, the normal Isabelle
|
``mkroot`` command of Isabelle. Thereafter, the normal Isabelle
|
||||||
|
@ -118,7 +118,7 @@ Usage: isabelle DOF_mkroot [OPTIONS] [DIR]
|
||||||
```
|
```
|
||||||
For example,
|
For example,
|
||||||
```console
|
```console
|
||||||
foo@bar:~$ isabelle DOF_mkroot -d -o scholarly_paper -t lncs
|
foo@bar:~$ isabelle DOF_mkroot -o scholarly_paper -t lncs
|
||||||
```
|
```
|
||||||
creates a setup using the scholarly_paper ontology and Springer's
|
creates a setup using the scholarly_paper ontology and Springer's
|
||||||
LNCS LaTeX class as document class. Note that the generated setup
|
LNCS LaTeX class as document class. Note that the generated setup
|
||||||
|
|
Loading…
Reference in New Issue