typo

2022-05-19 17:04:35 +02:00 · 2022-05-19 17:04:35 +02:00 · 324066afa2
parent ee647d2822
commit 324066afa2
1 changed files with 1 additions and 0 deletions
--- a/README.md
+++ b/README.md
@ -43,6 +43,7 @@ The final step for the installation is:
 foo@bar:~$ isabelle build -D .
 ```

+
 This will compile Isabelle/DOF and run the example suite.

 ## Usage