From e0d1bc5c86e22ba35f98371b1ad88e9f136ad87b Mon Sep 17 00:00:00 2001 From: Daniel Shahaf Date: Tue, 17 Mar 2020 02:12:43 +0000 Subject: [PATCH] changelog: Update through HEAD. --- changelog.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/changelog.md b/changelog.md index 9e7c5a4..26d6fbe 100644 --- a/changelog.md +++ b/changelog.md @@ -57,6 +57,9 @@ - Highlight global aliases [#700] +- Fix highlighting of `\local`, `\typeset`, etc (escaped) + [#701] + # Changes in version 0.7.1 - Remove out-of-date information from the 0.7.0 changelog.