From f46a19fe5ab3e8ac76a1dcd1a58f52f38cdf879e Mon Sep 17 00:00:00 2001
From: Pierre Courtieu <Pierre.Courtieu@cnam.fr>
Date: Wed, 9 Apr 2025 15:35:04 +0200
Subject: [PATCH] Updating the README file to cite the Xeber point case study.

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

diff --git a/README.md b/README.md
index 9a207db4..44783996 100644
--- a/README.md
+++ b/README.md
@@ -93,6 +93,9 @@ Here is a list of the current case studies:
       Gathering: a Certified Algorithm*. Bonnet, François, Bramas,
       Quentin, Courtieu, Pierre, Défago, Xavier, Rieg, Lionel,
       Tixeuil, Sebastien, Urbain, Xavier.
+    - [Weber/](CaseStudies/Gathering/InR2/Weber/) case studies of
+      protocols using the Weber point. Contains also the definition of
+      the Weber point and proof of its properties.
 - [Exploration/](CaseStudies/Exploration): Exploration of a ring with stop
   - [ImpossibilityKDividesN.v](CaseStudies/Exploration/ImpossibilityKDividesN.v):
     *Impossibility of exploration of a ring when the number of robots
-- 
GitLab