Fixed markdown.
Isabelle_DOF/Isabelle_DOF/master There was a failure building this commit Details

This commit is contained in:
Achim D. Brucker 2019-08-17 10:53:04 +01:00
parent a30bf33d99
commit 8c41589310
1 changed files with 2 additions and 1 deletions

View File

@ -40,11 +40,12 @@ foo@bar:~$ ./install --help
```
A final step for the installation is:
```console
foo@bar:~$ isabelle build -D .
```
This will compile Isabelle_DOF and run the example suite.
This will compile Isabelle/DOF and run the example suite.
## Usage