From 892cb357d89d59dfbb9473885c4e9ec255568ad0 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Thu, 5 Nov 2020 14:26:30 +0100
Subject: Improve title of first proof chapter.

---
 doc/sphinx/proofs/writing-proofs/index.rst | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/doc/sphinx/proofs/writing-proofs/index.rst b/doc/sphinx/proofs/writing-proofs/index.rst
index f46d8f8b72..1c7fd050f1 100644
--- a/doc/sphinx/proofs/writing-proofs/index.rst
+++ b/doc/sphinx/proofs/writing-proofs/index.rst
@@ -1,8 +1,8 @@
 .. _writing-proofs:
 
-==============
-Writing proofs
-==============
+===================
+Basic proof writing
+===================
 
 |Coq| is an interactive theorem prover, or proof assistant, which means
 that proofs can be constructed interactively through a dialog between
-- 
cgit v1.2.3