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

added build and tests in the README.
Isabelle_DOF/Isabelle_DOF/master There was a failure building this commit Details

This commit is contained in:
Burkhart Wolff 2019-08-17 11:39:42 +02:00
parent fdd9509eac
commit bb5d190143
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
README.md
View File

@ -39,6 +39,13 @@ built-in help:
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.
## Usage
### Opening an Example