From 7885665da5161b1fb31c5e2a65693704eabb3d88 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 7 May 2004 00:02:04 +0000
Subject: point to Coq/README for syntax.

---
 CHANGES | 1 +
 1 file changed, 1 insertion(+)

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