aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Collapse)AuthorAge
* 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: ↵Gravatar David Aspinall2009-05-26
| | | | font prop must be given first
* 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
| | | | Monnier.
* 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 ↵Gravatar David Aspinall2008-08-04
| | | | option.
* 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
| | | | Enable fontsets command on menu always for now.
* 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
| | | | cover isup as well;
* 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. ↵Gravatar David Aspinall2008-07-10
| | | | Still faulty.
* Add isub and isup to unicode-tokens-annotation-control-token-alistGravatar David Aspinall2008-07-10
| | | | Part of patch from Simon Winwood.
* 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
| | | | | | | 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.
* New files.Gravatar David Aspinall2008-02-04
|
* Make display properties rear sticky. This is good for begin..end but notGravatar David Aspinall2008-02-04
| | | | for singleton controls (which are a nuisance enough already).
* 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 ↵Gravatar David Aspinall2008-01-29
| | | | Makefile.
* Change characters in maths-menu-menu to strings, hoping to fix compileGravatar David Aspinall2008-01-29
| | | | problem with older XEmacs (Trac #184).
* Make XEmacs compatible. Make rotate glyphs look for a char.Gravatar David Aspinall2008-01-29
|
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-29 10:09:21 +0000