aboutsummaryrefslogtreecommitdiff
path: root/lib
AgeCommit message (Expand)Author
2009-05-26Remove process-live-p, move complete autoload to use pointDavid Aspinall
2009-05-26unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: font...David Aspinall
2009-01-14Made indentation optional when replaing # by holes.Pierre Courtieu
2008-10-22Fixing parenthesis not accepted by recent emacs anymore. fix by StefanPierre Courtieu
2008-09-18unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.David Aspinall
2008-08-06DocumentationDavid Aspinall
2008-08-05unicode-tokens-initialise: initialise menu here too rather than at top levelDavid Aspinall
2008-08-04Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars opt...David Aspinall
2008-07-24Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.David Aspinall
2008-07-24unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ...David Aspinall
2008-07-24Allow generating variants of given fonts tooDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-07-21Changed the main menu of coq. Changed a shortcut for holes.Pierre Courtieu
2008-07-19Fix typo.David Aspinall
2008-07-16Remove use of :help for menu tooltips- GNU Emacs only.David Aspinall
2008-07-16Deleted fileDavid Aspinall
2008-07-12backport of recent changes to lib/unicode-tokens.el:Makarius Wenzel
2008-07-12Correct italic attributeDavid Aspinall
2008-07-10Add NOTEDavid Aspinall
2008-07-10Add other sup/subs to format menu.David Aspinall
2008-07-10Add format menu. Improve attempt to handle font-lock-face annotations. Stil...David Aspinall
2008-07-10Add isub and isup to unicode-tokens-annotation-control-token-alistDavid Aspinall
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
2008-02-04New files.David Aspinall
2008-02-04Make display properties rear sticky. This is good for begin..end but notDavid Aspinall
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 Makef...David Aspinall
2008-01-29Change characters in maths-menu-menu to strings, hoping to fix compileDavid Aspinall
2008-01-29Make XEmacs compatible. Make rotate glyphs look for a char.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 15:22:11 +0000