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

Fixed markdown.

This commit is contained in:
Achim D. Brucker 2016-12-24 10:11:08 +00:00
parent 671debf879
commit 1ccdb5cdbf
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

@ -12,10 +12,10 @@ for installing the AFP locall. For short:
* [Download](https://www.isa-afp.org/release/afp-current.tar.gz) the complete AFP * [Download](https://www.isa-afp.org/release/afp-current.tar.gz) the complete AFP
* 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:
``` ```
mkdir -p ~/.isabelle/Isabelle2016-1/etc mkdir -p ~/.isabelle/Isabelle2016-1/etc
echo "/home/isabelle/afp" >> ~/.isabelle/Isabelle2016-1/etc/components echo "/home/isabelle/afp" >> ~/.isabelle/Isabelle2016-1/etc/components
``` ```
## How to build ## How to build
``` ```