Updated.

1 files changed, 2 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 8a3a8364..74010abf 100644
--- a/CHANGES
+++ b/CHANGES
@@ -4,6 +4,8 @@ See also etc/release-log.txt for minor patches.
 
 * Summary of Changes for Proof General 3.6 from 3.5
 
+*** Large X-Symbol fonts added, courtesy  of Clemens Ballarin
+
 *** Improved compatibility with Coq 8
 
 Several fixes.  Also, removed support for Coq 6, 7.