From 8c14ee1bc5e3daf2c836badf1aadef3ecb87c99c Mon Sep 17 00:00:00 2001
From: Yishuai Li
Date: Mon, 30 Jul 2018 13:32:07 -0400
Subject: CHANGES: unify format

---
 CHANGES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/CHANGES b/CHANGES
index b0b445b2e8..f0327e74dc 100644
--- a/CHANGES
+++ b/CHANGES
@@ -141,7 +141,7 @@ Display diffs between proof steps
 
 Notations
 
-- Added [++] infix for [VectorDef.append].
+- Added `++` infix for `VectorDef.append`.
   Note that this might cause incompatibilities if you have, e.g., list_scope
   and vector_scope both open with vector_scope on top, and expect `++` to
   refer to `app`.
-- 
cgit v1.2.3