From 4818003a0340afabc009649175943ab31cf51527 Mon Sep 17 00:00:00 2001
From: Yecine Megdiche <yecine.megdiche@gmail.com>
Date: Wed, 8 Sep 2021 23:59:14 +0200
Subject: [PATCH] Added instructions to build Isabelle

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

diff --git a/README.md b/README.md
index 897cc29..72511a0 100644
--- a/README.md
+++ b/README.md
@@ -5,9 +5,15 @@ A linter for Isabelle. Developed for my bachelor's thesis at the Chair for Logic
 
 ### Setup
 1. Checkout Isabelle submodule: `git submodule init && git submodule update`
-2. Compile the linter: `./sbt "project linter" assembly`
-3. For jEdit support: Patch jEdit jars: `./patch_jedit`
-4. For the tool support: `isabelle/bin/isabelle components -u linter/target`
+2. Build Isabelle
+```
+./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`
+5. For the tool support: `isabelle/bin/isabelle components -u linter/target`
 
 ### Usage
 - jEdit: `isabelle/bin/isabelle jedit -e`