Update for release 1.3

xavierleroy · Oct 3, 2021 · e93c42e · e93c42e
1 parent fe0f3fa
commit e93c42e
Showing 1 changed file with 5 additions and 0 deletions.
diff --git 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).