From e93c42e4cef0b70279db38fd0082b2eb6459da0f Mon Sep 17 00:00:00 2001
From: Xavier Leroy <xavier.leroy@college-de-france.fr>
Date: Sun, 3 Oct 2021 17:21:11 +0200
Subject: [PATCH] Update for release 1.3

---
 Changes | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Changes b/Changes
index 85b0419b..4d6b73b8 100644
--- a/Changes
+++ b/Changes
@@ -1,3 +1,8 @@
+Version 1.3, 2021-10-04
+- Preserve indentation of "Proof." (PR#7).
+- Updated list of keywords for coloring.
+- Updated various URLs (PR#5 and more).
+
 Version 1.2, 2019-08-22  [for Coq 8.9, 8.8, 8.7, 8.6]
 - Fix unclosed element in page footer (PR#3).
 - Fix missing dependency in Makefile (PR#4).