diff options
| author | David Aspinall | 2008-01-30 12:47:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-30 12:47:06 +0000 |
| commit | cd780b1a878968146d2cb0429abdcd96f956ee95 (patch) | |
| tree | 6a9b9c0ed9594230afe9361433a1ab4b3a0458c6 /doc/ProofGeneral.texi | |
| parent | d1a0568693284de86676e0451dcbe766a43e3c74 (diff) | |
Update magic
Diffstat (limited to 'doc/ProofGeneral.texi')
| -rw-r--r-- | doc/ProofGeneral.texi | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/doc/ProofGeneral.texi b/doc/ProofGeneral.texi index 1ec274d8..3dc7cf1e 100644 --- a/doc/ProofGeneral.texi +++ b/doc/ProofGeneral.texi @@ -2415,11 +2415,13 @@ character is inserted without the prompt. @end deffn @c TEXI DOCSTRING MAGIC: unicode-tokens-rotate-glyph-forward @deffn Command unicode-tokens-rotate-glyph-forward &optional n -Not documented. +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. @end deffn @c TEXI DOCSTRING MAGIC: unicode-tokens-rotate-glyph-backward @deffn Command unicode-tokens-rotate-glyph-backward &optional n -Not documented. +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. @end deffn Unfortunately, the precise set of symbol glyphs that are available to you will depend in complicated ways on your operating system, Emacs |