From 4f2af4bbf4ebc0c0ec3113c679123e77c74bfc3a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 16 May 2011 11:45:25 +0000
Subject: Ref to Coq chapter in PG manual

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

diff --git a/CHANGES b/CHANGES
index d1de035f..d05cd075 100644
--- a/CHANGES
+++ b/CHANGES
@@ -27,7 +27,7 @@ the CVS ChangeLog and PG Trac, http://proofgeneral.inf.ed.ac.uk/trac.
     scripting Require commands, either internally or externally (by
     running Make).  Additionally, it will automatically retract 
     buffers when switching to new files, to model separate compilation
-    properly.  For more details, see XXXX.
+    properly.  For details, see the Coq chapter in the Proof General manual.
     Addition by Hendrik Tews.
 
 *** Fixes for Coq 8.3
-- 
cgit v1.2.3