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

Added license information.

This commit is contained in:
Achim D. Brucker 2018-04-08 17:13:45 +01:00
parent 0929d73541
commit 0645a9264e
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
document-generator/README.md
View File

@ -4,6 +4,7 @@ This directory contains the DOF-plugin for Isabelle's
document generation system.
## Installation
In most case, the DOF-plugin can be installed as follows:
```console
foo@bar:~$ ./install
@ -19,6 +20,7 @@ The DOF-plugin will be installed in the Isabelle user directory
(the exact location depends on the Isabelle version).
## Usage
The DOF-plugin provides an alternative to Isabelle's ``mkroot`` command.
Isabelle projects that use DOF need to be created using
```console
@ -27,3 +29,9 @@ isabelle DOF_mkroot -d
The ``DOF_mkroot`` command takes the same parameter as the standard
``mkroot`` command of Isabelle. Thereafter, the normal Isabelle
command for building documents can be used.
## License
This project is licensed under a 2-clause BSD license.
SPDX-License-Identifier: BSD-2-Clause