From 9855b8265854f43cae1f0bf6284de6ce1325a25c Mon Sep 17 00:00:00 2001
From: Katja Goltsova <katja.goltsova@protonmail.com>
Date: Mon, 5 Sep 2022 15:27:54 +0200
Subject: [PATCH] Fix a broken link to the reference manual

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index d267dd25..97f6e46e 100644
--- a/README.md
+++ b/README.md
@@ -1,6 +1,6 @@
 # LISA = LISA Is Sets Automated
 
-LISA is a Proof Assistant based on first order logic, sequent calculus and set theory. To get started, look at the [Reference Manual](/LISA%20Reference%20Manual.pdf).
+LISA is a Proof Assistant based on first order logic, sequent calculus and set theory. To get started, look at the [Reference Manual](Reference%20Manual/lisa.pdf).
 
 EPFL-LARA Website: https://lara.epfl.ch/w/
 
-- 
GitLab