aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
* 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
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-07 06:03:47 +0000