Update.
This commit is contained in:
parent
1e0eeea6f9
commit
0c064b1c8a
|
@ -35,7 +35,7 @@ foo@bar:~$ isabelle components -u .
|
||||||
The final step for the installation is:
|
The final step for the installation is:
|
||||||
|
|
||||||
```console
|
```console
|
||||||
foo@bar:~$ isabelle build -D . -x Isabelle_DOF-proofs
|
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.
|
||||||
|
|
Loading…
Reference in New Issue