aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Collapse)Author
2008-07-10Add isub and isup to unicode-tokens-annotation-control-token-alistDavid Aspinall
Part of patch from Simon Winwood.
2008-07-09cover isup as well;Makarius Wenzel
2008-07-05Deleted fileDavid Aspinall
2008-07-05TEMPORARY: add unicode-tokens2 mechanism to test across different machinesDavid Aspinall
2008-05-20Fixed a bug with coq-prog-name.Pierre Courtieu
2008-02-17Remove junkDavid Aspinall
2008-02-17Updated.David Aspinall
2008-02-17Add serif token matchDavid Aspinall
2008-02-17Remove left over propertise experiment call; fixes #202David Aspinall
2008-02-17unicode-tokens: Experimental multiple font supportDavid Aspinall
2008-02-09Unicode tokens: support face changing via 'font-lock-face'David Aspinall
2008-02-06Tweak initialisation (no difference if setup properrly via proof-unicode-tokens)David Aspinall
2008-02-06Switch order of annotations and substitutions, to allow substitutions to containDavid Aspinall
further annotations (e.g. a symbol denotes a bold character or special font). Fix a compatibility issue with MMM (avoid changing encoding on indirect buffer) Fix removing face properties when turning off (re fontify). Don't try to save properties: face (giving up on temporarily on bold) or autocompose.
2008-02-04New files.David Aspinall
2008-02-04Make display properties rear sticky. This is good for begin..end but notDavid Aspinall
for singleton controls (which are a nuisance enough already).
2008-02-04Support Isabelle control sequences for subscripts/superscriptsDavid Aspinall
2008-02-04Comments.David Aspinall
2008-02-03Add some error checking to `unicode-tokens-token-name-alist'David Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-30Documentation.David Aspinall
2008-01-30Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).David Aspinall
2008-01-30Add docstringsDavid Aspinall
2008-01-30PG taglineDavid Aspinall
2008-01-30Updated.David Aspinall
2008-01-30Updated.David Aspinall
2008-01-29Add buffer-substring-no-properties in case of older Emacs versionsDavid Aspinall
2008-01-29Revert previous change, does not help. Solve #184 by ignoring error in ↵David Aspinall
Makefile.
2008-01-29Change characters in maths-menu-menu to strings, hoping to fix compileDavid Aspinall
problem with older XEmacs (Trac #184).
2008-01-29Make XEmacs compatible. Make rotate glyphs look for a char.David Aspinall
2008-01-29tokens-to-unicode, unicode-to-tokens: preserve modification statusDavid Aspinall
mode switch on/off: discard undo history -- edits inside tokens get mapped to wrong positions afterwards, so undo garbles source.
2008-01-29Sort token encode/decode mappings, so that longer strings areDavid Aspinall
converted first, which is more likely to give correct results for text that has multiple possible de/encodings.
2008-01-28Don't give error when loaded during "make doc" with old emacs versionDavid Aspinall
2008-01-28Appearance is OK with NextStep Emacs.app.David Aspinall
2008-01-28Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not boundDavid Aspinall
2008-01-28Maths menu works OK in Carbon EmacsDavid Aspinall
2008-01-28Allow decode/encode for read-only buffers. Fix map, case folding on replace.David Aspinall
2008-01-28Use buffer file format to code/decode.David Aspinall
2008-01-28Add shortcuts for tokens to quail input method. Sketch of coding system.David Aspinall
2008-01-28unload-pg: Update featuresDavid Aspinall
2008-01-27Switch token table mapping destination from glyph names to unicode strings. ↵David Aspinall
Add unicode-tokens-rotate-glyph-{forward,backward}.
2008-01-25Updated.David Aspinall
2008-01-25Fix variable renameDavid Aspinall
2008-01-25New files.David Aspinall
2008-01-25Back patch for XEmacs 21.4 on API change to add-hook.David Aspinall
2008-01-25Back patch for XEmacs 21.4 on API change to add-hook.David Aspinall
2008-01-25Deleted fileDavid Aspinall
2008-01-25New files.David Aspinall
2008-01-22CleanDavid Aspinall
2008-01-22New files.David Aspinall
2008-01-17DocstringDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-25 16:44:34 +0000