From 69d6fa9edc8ef10a01fb2f9daad28ebc94dd7bce Mon Sep 17 00:00:00 2001
From: Marco Maggesi <1809783+maggesi@users.noreply.github.com>
Date: Thu, 26 Sep 2024 17:24:20 +0200
Subject: [PATCH] Update README.md

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

diff --git a/README.md b/README.md
index 7d092e8..6391866 100644
--- a/README.md
+++ b/README.md
@@ -1,2 +1,2 @@
 # holms-lib.github.io
-Documentation website for HOLMS, a HOL-Light Library for Modal Systems.
+Documentation website for HOLMS, a HOL Light Library for Modal Systems.