From ce2ab70713ff821e11ad31fffe13d11c74ed0152 Mon Sep 17 00:00:00 2001
From: Yecine Megdiche <yecine.megdiche@gmail.com>
Date: Wed, 8 Sep 2021 23:59:49 +0200
Subject: [PATCH] Update README.md

---
 README.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index 72511a0..3dd3ff2 100644
--- 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`