diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 13:14:46 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2008-01-30 13:14:46 +0000 |
commit | b0955bbcbb665a768f511ab990240fe4f2586c52 (patch) | |
tree | 2952626be444cef8b4fb6785e6ea62eeb20e4a2d /doc | |
parent | d18da841f17ab547eb7df528c98876af4f6ab03a (diff) |
Update magic
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ProofGeneral.texi | 2 |
1 files changed, 2 insertions, 0 deletions
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 |