point to Coq/README for syntax.

1 files changed, 1 insertions, 0 deletions

diff --git a/CHANGES b/CHANGES
index 8f4230de..3aebc309 100644
--- a/CHANGES
+++ b/CHANGES
@@ -271,6 +271,7 @@ will be asked if you want to save abbrevs, answer yes.
 *** X-symbols are much improved (more symbols, cleaner grammar)
 
 Much more symbols are supported now (C-= C-= for the symbol table).
+See coq/README for more details, including the syntax of sub/superscripts.
 
 ** Additional instances of Proof General