From a2ed7a3d74ab97fb964dcfa75ea26a33c846aa1d Mon Sep 17 00:00:00 2001
From: thomas-lamiaux <thomas.lamiaux@ens-paris-saclay.fr>
Date: Sat, 2 Nov 2024 16:51:53 +0100
Subject: [PATCH] edit index

---
 src/index.html | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/index.html b/src/index.html
index 1ffe60c..025851b 100644
--- a/src/index.html
+++ b/src/index.html
@@ -33,7 +33,7 @@ <h2 id="about">About</h2>
     <h2 id="coq-tut">Coq Tutorials</h2>
     <ul>
       <li>
-        Tutorial, Chaining Tactics:
+        Tutorial, Chaining Tactics to Simplify and Factorize proofs
         <a href="Tutorial_Chaining_Tactics.html">interactive version</a>
         and
         <a href="Tutorial_Chaining_Tactics.v">source code</a>