From b3a227560b22d27efc8102a5355135e70f64af2f Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 5 Dec 2008 11:40:08 +0000
Subject: Tweak

---
 doc/PG-adapting.texi | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi
index 7dbef061..39cbecf6 100644
--- a/doc/PG-adapting.texi
+++ b/doc/PG-adapting.texi
@@ -2405,13 +2405,10 @@ This hook is called before fonfitying a region in an output buffer.@*
 
 @node Configuring Tokens
 @chapter Configuring Tokens
-@cindex X-Symbol
 @cindex Unicode Tokens
 @cindex Tokens
 
-The Tokens package is described in the Proof General user manual.  To
-configure Tokens for Proof General, you must understand a little bit
-of how X-Symbol works: read the documentation that is supplied with it.
+The Tokens package is described in the Proof General user manual.  
 
 @c TEXI DOCSTRING MAGIC: proof-tokens-activate-command
 @defvar proof-tokens-activate-command 
-- 
cgit v1.2.3