Update README.md

TheMC47 · Sep 8, 2021 · ce2ab70 · ce2ab70
1 parent 4818003
commit ce2ab70
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/README.md b/README.md
@@ -7,9 +7,9 @@ A linter for Isabelle. Developed for my bachelor's thesis at the Chair for Logic
 1. Checkout Isabelle submodule: `git submodule init && git submodule update`
 2. Build Isabelle
 ```
-./isabelle/bin/isabelle components -a
-./isabelle/bin/isabelle components -I
-./isabelle/bin/isabelle build
+isabelle/bin/isabelle components -a
+isabelle/bin/isabelle components -I
+isabelle/bin/isabelle build
 ```
 3. Compile the linter: `./sbt "project linter" assembly`
 4. For jEdit support: Patch jEdit jars: `./patch_jedit`