afp-mirror
/
UPF_Firewall
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Improved/updated installation instructions.

This commit is contained in:
Achim D. Brucker 2020-05-23 11:26:46 +01:00
parent deb7b457b7
commit 921e2eb4e3
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@ -20,13 +20,13 @@ for installing the AFP locally. For short:
* Let's assume the extracted archive lives in `/home/isabelle/afp`, now execute:
```
echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2018/ROOTS
echo "/home/isabelle/afp/thys" >> ~/.isabelle/Isabelle2020/ROOTS
```
## How to build
```
isabelle build -d UPF_Firewall UPF-Firewall
isabelle build -D UPF_Firewall
```
## Authors