diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-12-05 11:40:08 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-12-05 11:40:08 +0000 |
commit | b3a227560b22d27efc8102a5355135e70f64af2f (patch) | |
tree | 4f3f9d7031c320ae379f7db558fd7923ba115b34 /doc | |
parent | 964c0330f813ac73177682c224358a6b79793c9a (diff) |
Tweak
Diffstat (limited to 'doc')
-rw-r--r-- | doc/PG-adapting.texi | 5 |
1 files changed, 1 insertions, 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 |