Beginnings of x-symbol support.

1 files changed, 3 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 317cbb5a..94c7068f 100644
--- a/CHANGES
+++ b/CHANGES
@@ -2,3 +2,6 @@ Summary of Changes since Proof General 2.0
 ------------------------------------------
 
 * Documentation improvements
+
+* Generic settings to add support for x-symbol package.
+  (incomplete).