From 137970d209e85317b1d50de764da794f4c1e2dfa Mon Sep 17 00:00:00 2001
From: Philip Kaludercic <philip.kaludercic@fau.de>
Date: Tue, 12 Mar 2024 12:52:40 +0100
Subject: [PATCH] Use same title in README as in master.tex

---
 README | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/README b/README
index 6924a40..1e90d04 100644
--- a/README
+++ b/README
@@ -1,5 +1,5 @@
-A mostly complete _Algebra of Programming_ Summary
-==================================================
+A (exhaustive enough) _Algebra of Programming_ Summary
+======================================================
 
 **Note:** This is an unofficial summary, without any promises wrt.
 correctness nor completeness.  Contributions and improvements are
-- 
GitLab