From b0955bbcbb665a768f511ab990240fe4f2586c52 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 30 Jan 2008 13:14:46 +0000
Subject: Update magic

---
 doc/ProofGeneral.texi | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'doc')

diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi
index 195f0140..05a9bf52 100644
--- a/doc/ProofGeneral.texi
+++ b/doc/ProofGeneral.texi
@@ -2420,11 +2420,13 @@ character is inserted without the prompt.
 @deffn Command unicode-tokens-rotate-glyph-forward &optional n
 Rotate the character before point in the current code page, by @var{n} steps.@*
 If no character is found at the new codepoint, no change is made.
+This function may only work reliably for GNU Emacs >= 23.
 @end deffn
 @c TEXI DOCSTRING MAGIC: unicode-tokens-rotate-glyph-backward
 @deffn Command unicode-tokens-rotate-glyph-backward &optional n
 Rotate the character before point in the current code page, by -N steps.@*
 If no character is found at the new codepoint, no change is made.
+This function may only work reliably for GNU Emacs >= 23.
 @end deffn
 Unfortunately, the precise set of symbol glyphs that are available to
 you will depend in complicated ways on your operating system, Emacs
-- 
cgit v1.2.3