1 files changed, 1 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 4168ac3a0..6feef7794 100644
--- a/CHANGES
+++ b/CHANGES
@@ -144,6 +144,7 @@ Coqdoc
 - New option "--interpolate" to try and typeset identifiers in Coq escapings
   using the available globalization information.
 - New option "--external url root" to refer to external libraries.
+- Links to section variables and notations now supported.
 
 Library