Updated instructions for installing AFP.
ci/woodpecker/push/build Pipeline failed
Details
ci/woodpecker/push/build Pipeline failed
Details
This commit is contained in:
parent
f12c834a2f
commit
399cb007b5
|
@ -21,7 +21,7 @@ for installing the AFP locally. For short:
|
||||||
* Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
|
* Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
|
||||||
|
|
||||||
```console
|
```console
|
||||||
achim@logicalhacking:~$ echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS
|
achim@logicalhacking:~$ isabelle components -u "/home/isabelle/afp/thys"
|
||||||
```
|
```
|
||||||
|
|
||||||
## How to build
|
## How to build
|
||||||
|
|
Loading…
Reference in New Issue