aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Fix typo.Gravatar David Aspinall2008-07-19
* Remove use of :help for menu tooltips- GNU Emacs only.Gravatar David Aspinall2008-07-16
* Deleted fileGravatar David Aspinall2008-07-16
* backport of recent changes to lib/unicode-tokens.el:Gravatar Makarius Wenzel2008-07-12
* Correct italic attributeGravatar David Aspinall2008-07-12
* Add NOTEGravatar David Aspinall2008-07-10
* Add other sup/subs to format menu.Gravatar David Aspinall2008-07-10
* Add format menu. Improve attempt to handle font-lock-face annotations. Stil...Gravatar David Aspinall2008-07-10
* Add isub and isup to unicode-tokens-annotation-control-token-alistGravatar David Aspinall2008-07-10
* cover isup as well;Gravatar Makarius Wenzel2008-07-09
* Deleted fileGravatar David Aspinall2008-07-05
* TEMPORARY: add unicode-tokens2 mechanism to test across different machinesGravatar David Aspinall2008-07-05
* Fixed a bug with coq-prog-name.Gravatar Pierre Courtieu2008-05-20
* Remove junkGravatar David Aspinall2008-02-17
* Updated.Gravatar David Aspinall2008-02-17
* Add serif token matchGravatar David Aspinall2008-02-17
* Remove left over propertise experiment call; fixes #202Gravatar David Aspinall2008-02-17
* unicode-tokens: Experimental multiple font supportGravatar David Aspinall2008-02-17
* Unicode tokens: support face changing via 'font-lock-face'Gravatar David Aspinall2008-02-09
* Tweak initialisation (no difference if setup properrly via proof-unicode-tokens)Gravatar David Aspinall2008-02-06
* Switch order of annotations and substitutions, to allow substitutions to containGravatar David Aspinall2008-02-06
* New files.Gravatar David Aspinall2008-02-04
* Make display properties rear sticky. This is good for begin..end but notGravatar David Aspinall2008-02-04
* Support Isabelle control sequences for subscripts/superscriptsGravatar David Aspinall2008-02-04
* Comments.Gravatar David Aspinall2008-02-04
* Add some error checking to `unicode-tokens-token-name-alist'Gravatar David Aspinall2008-02-03
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Documentation.Gravatar David Aspinall2008-01-30
* Clarify GE>=23 required for glyph rotation (decode 'ucs in fact).Gravatar David Aspinall2008-01-30
* Add docstringsGravatar David Aspinall2008-01-30
* PG taglineGravatar David Aspinall2008-01-30
* Updated.Gravatar David Aspinall2008-01-30
* Updated.Gravatar David Aspinall2008-01-30
* Add buffer-substring-no-properties in case of older Emacs versionsGravatar David Aspinall2008-01-29
* Revert previous change, does not help. Solve #184 by ignoring error in Makef...Gravatar David Aspinall2008-01-29
* Change characters in maths-menu-menu to strings, hoping to fix compileGravatar David Aspinall2008-01-29
* Make XEmacs compatible. Make rotate glyphs look for a char.Gravatar David Aspinall2008-01-29
* tokens-to-unicode, unicode-to-tokens: preserve modification statusGravatar David Aspinall2008-01-29
* Sort token encode/decode mappings, so that longer strings areGravatar David Aspinall2008-01-29
* Don't give error when loaded during "make doc" with old emacs versionGravatar David Aspinall2008-01-28
* Appearance is OK with NextStep Emacs.app.Gravatar David Aspinall2008-01-28
* Workaround a small bug in Carbon Emacs Winter 2008: mac-key-mode not boundGravatar David Aspinall2008-01-28
* Maths menu works OK in Carbon EmacsGravatar David Aspinall2008-01-28
* Allow decode/encode for read-only buffers. Fix map, case folding on replace.Gravatar David Aspinall2008-01-28
* Use buffer file format to code/decode.Gravatar David Aspinall2008-01-28
* Add shortcuts for tokens to quail input method. Sketch of coding system.Gravatar David Aspinall2008-01-28
* unload-pg: Update featuresGravatar David Aspinall2008-01-28
* Switch token table mapping destination from glyph names to unicode strings. A...Gravatar David Aspinall2008-01-27
* Updated.Gravatar David Aspinall2008-01-25
* Fix variable renameGravatar David Aspinall2008-01-25