index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
/
unicode-tokens.el
Age
Commit message (
Expand
)
Author
2008-02-09
Unicode tokens: support face changing via 'font-lock-face'
David Aspinall
2008-02-06
Tweak initialisation (no difference if setup properrly via proof-unicode-tokens)
David Aspinall
2008-02-06
Switch order of annotations and substitutions, to allow substitutions to contain
David Aspinall
2008-02-04
Make display properties rear sticky. This is good for begin..end but not
David Aspinall
2008-02-04
Support Isabelle control sequences for subscripts/superscripts
David Aspinall
2008-02-04
Comments.
David Aspinall
2008-02-03
Add some error checking to `unicode-tokens-token-name-alist'
David Aspinall
2008-01-30
Fix RCS tags
David Aspinall
2008-01-30
Documentation.
David Aspinall
2008-01-30
Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).
David Aspinall
2008-01-30
Add docstrings
David Aspinall
2008-01-29
Make XEmacs compatible. Make rotate glyphs look for a char.
David Aspinall
2008-01-29
tokens-to-unicode, unicode-to-tokens: preserve modification status
David Aspinall
2008-01-29
Sort token encode/decode mappings, so that longer strings are
David Aspinall
2008-01-28
Allow decode/encode for read-only buffers. Fix map, case folding on replace.
David Aspinall
2008-01-28
Use buffer file format to code/decode.
David Aspinall
2008-01-28
Add shortcuts for tokens to quail input method. Sketch of coding system.
David Aspinall
2008-01-27
Switch token table mapping destination from glyph names to unicode strings. A...
David Aspinall
2008-01-25
Updated.
David Aspinall
2008-01-25
Fix variable rename
David Aspinall
2008-01-25
New files.
David Aspinall