aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* Disable "Set fontsets" sub menu for new EmacsenGravatar David Aspinall2009-08-28
* Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...Gravatar David Aspinall2009-08-28
* Enhanced font setting mechanism: allow a separate font for symbols,Gravatar David Aspinall2009-08-28
* Doc tweaks via checkdoc.Gravatar David Aspinall2009-08-20
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* unicode-tokens-list-tokens: change help docGravatar David Aspinall2009-08-12
* Add docstrings. Regexp quote to escape control chars and regionsGravatar David Aspinall2009-08-06
* Work in progress on multiple instances of token modesGravatar David Aspinall2009-08-06
* Improve documentation. Add `unicode-tokens-list-shortcuts'.Gravatar David Aspinall2009-07-30
* Fix so highlighting of real unicode characters setting is obeyed when mode to...Gravatar David Aspinall2009-07-30
* Define maths-menu-insert-XX functions for convenience of user-defined keybind...Gravatar David Aspinall2009-07-30
* Improve docstringGravatar David Aspinall2009-07-30
* Cleanup more Emacs compatibilityGravatar David Aspinall2009-05-27
* Add functions for encoding string and buffer regionsGravatar David Aspinall2009-05-26
* Remove process-live-p, move complete autoload to use pointGravatar David Aspinall2009-05-26
* unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: font...Gravatar David Aspinall2009-05-26
* Made indentation optional when replaing # by holes.Gravatar Pierre Courtieu2009-01-14
* Fixing parenthesis not accepted by recent emacs anymore. fix by StefanGravatar Pierre Courtieu2008-10-22
* unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.Gravatar David Aspinall2008-09-18
* DocumentationGravatar David Aspinall2008-08-06
* unicode-tokens-initialise: initialise menu here too rather than at top levelGravatar David Aspinall2008-08-05
* Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars opt...Gravatar David Aspinall2008-08-04
* Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.Gravatar David Aspinall2008-07-24
* unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ...Gravatar David Aspinall2008-07-24
* Allow generating variants of given fonts tooGravatar David Aspinall2008-07-24
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Changed the main menu of coq. Changed a shortcut for holes.Gravatar Pierre Courtieu2008-07-21
* 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