1 files changed, 5 insertions, 0 deletions
diff --git a/CHANGES b/CHANGES
index 29fcf03d..fe802433 100644
--- a/CHANGES
+++ b/CHANGES
@@ -11,6 +11,11 @@
 
 *** Unicode tokens enabled by default
 
+** Coq changes
+
+*** Fixes for Coq 8.3
+
+
 
 
 * Main Changes for Proof General 4.0 from 3.7.1