From 348338cc1d1e2330f91143225bc74db43be11d69 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 25 Mar 2005 14:49:05 +0000
Subject: Updated.

---
 CHANGES | 2 ++
 1 file changed, 2 insertions(+)

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.
-- 
cgit v1.2.3