Fixed markdown.

2016-12-24 10:15:18 +00:00 · 2016-12-24 10:15:18 +00:00 · f290da191d
parent 929f992291
commit f290da191d
1 changed files with 1 additions and 0 deletions
--- a/README.md
+++ b/README.md
@ -18,6 +18,7 @@ mkdir -p ~/.isabelle/Isabelle2016-1/etc
 echo "/home/isabelle/afp" >> ~/.isabelle/Isabelle2016-1/etc/components
 ```

+
 ## How to build
 ```
 isabelle build -d . UPF-Firewall