Improved markdown.
afp-mirror/UPF_Firewall/pipeline/head There was a failure building this commit
Details
afp-mirror/UPF_Firewall/pipeline/head There was a failure building this commit
Details
This commit is contained in:
parent
921e2eb4e3
commit
85f894937e
|
@ -19,14 +19,14 @@ for installing the AFP locally. For short:
|
||||||
* Extract the downloaded archive to an directory of your choice
|
* Extract the downloaded archive to an directory of your choice
|
||||||
* 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
|
||||||
echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS
|
achim@logicalhacking:~$ echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS
|
||||||
```
|
```
|
||||||
|
|
||||||
## How to build
|
## How to build
|
||||||
|
|
||||||
```
|
```console
|
||||||
isabelle build -D UPF_Firewall
|
achim@logicalhacking:~$ isabelle build -D UPF_Firewall
|
||||||
```
|
```
|
||||||
|
|
||||||
## Authors
|
## Authors
|
||||||
|
|
Loading…
Reference in New Issue