From 0e35f5f41b185309cbec3670ec8cfa8526e5fecf Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Wed, 24 Apr 2019 11:48:46 +0000
Subject: Revert #8187

---
 dev/doc/changes.md | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'dev')

diff --git a/dev/doc/changes.md b/dev/doc/changes.md
index 4533a4dc01..9e0d47651e 100644
--- a/dev/doc/changes.md
+++ b/dev/doc/changes.md
@@ -203,12 +203,6 @@ Termops
 - Internal printing functions have been placed under the
   `Termops.Internal` namespace.
 
-Notations:
-
-- Notation.availability_of_notation is not anymore needed: if a
-  delimiter is needed, it is provided by Notation.uninterp_notation
-  which fails in case the notation is not available.
-
 ### Unit testing
 
 The test suite now allows writing unit tests against OCaml code in the Coq
-- 
cgit v1.2.3