index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
lib
/
unicode-tokens.el
Commit message (
Expand
)
Author
Age
*
Fix most doc issues raised by (checkdoc)
Erik Martin-Dorel
2018-08-23
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
*
Remove some Emacs <24.1 compatibility cruft
Clément Pit--Claudel
2017-03-08
*
Fixing unicode tokens in generic code and in coq.
Pierre Courtieu
2017-03-08
*
Summary: Fix to work with dark color themes (stipple with header-line face)
David Aspinall
2015-03-13
*
Fix compile for Emacs 24
David Aspinall
2012-09-04
*
Emacs 24 update
David Aspinall
2012-08-16
*
Change default Unicode Tokens font back to DejaVU Sans, more reliable without...
David Aspinall
2012-04-30
*
Support delete selection mode on remapped delete commands
David Aspinall
2011-02-23
*
ns-popup-font-panel: pass through argument list (used in Aquamacs Options menu).
David Aspinall
2011-01-26
*
Clean up invisibility spec
David Aspinall
2010-09-08
*
unicode-tokens-delete-backward-1: backward-delete-char -> delete-char to fix ...
David Aspinall
2010-08-24
*
Default to non-italic symbol font variant for Mac OS X. Simplify font changi...
David Aspinall
2010-08-19
*
unicode-tokens-show-controls (C-c C-t C-t): Use redraw-display instead
David Aspinall
2010-08-18
*
unicode-tokens-symbol-font-face: default to italic and support setting
David Aspinall
2010-08-11
*
Remove debug message
David Aspinall
2010-06-28
*
Experimental backwards delete char. See Trac #290
David Aspinall
2010-06-27
*
tidy
David Aspinall
2009-12-01
*
Attempt at http://proofgeneral.inf.ed.ac.uk/trac/ticket/311
David Aspinall
2009-12-01
*
spaces
David Aspinall
2009-12-01
*
unicode-tokens-fontsymb-properties: use font-lock faces instead of proof- ones.
David Aspinall
2009-10-01
*
Conforming Menu Titles
David Aspinall
2009-09-30
*
Conforming Menu Titles
David Aspinall
2009-09-30
*
Rename dec->keyword. Update doc for quail input language.
David Aspinall
2009-09-28
*
Add customize group unicode-tokens-options to faces top-level group.
David Aspinall
2009-09-21
*
unicode-tokens-add-help-echo: add this customize option
David Aspinall
2009-09-21
*
unicode-tokens-set-font-var-aux: run font-lock-fontify-buffer in displayed
David Aspinall
2009-09-20
*
Times -> Times New Roman, seems to have better substitution behaviour
David Aspinall
2009-09-13
*
Remove use of regexp-opt-depth and clarify doc of
David Aspinall
2009-09-08
*
Calculate token match regexp in a more complex way in an attempt to
David Aspinall
2009-09-07
*
Whitespace
David Aspinall
2009-09-06
*
Supress spurious warnings
David Aspinall
2009-09-06
*
unicode-tokens-replace-unicode: new function to interactively replace unicode...
David Aspinall
2009-09-05
*
tokens-customizable-variables: new setting. All compositions to be more gener...
David Aspinall
2009-09-05
*
Comments
David Aspinall
2009-09-05
*
Attempt to make compatible with Mac OS X port of Emacs 23.
David Aspinall
2009-09-01
*
Fix unicode-tokens-script-font-face
David Aspinall
2009-08-31
*
Support mouse font selection in Emacs 22.
David Aspinall
2009-08-31
*
Experiments improving defaults
David Aspinall
2009-08-31
*
Disable large symbol font for now
David Aspinall
2009-08-31
*
Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...
David Aspinall
2009-08-30
*
Extend the available types of controls. Move fontsymb-properties here. Pret...
David Aspinall
2009-08-28
*
Disable "Set fontsets" sub menu for new Emacsen
David Aspinall
2009-08-28
*
Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...
David Aspinall
2009-08-28
*
Enhanced font setting mechanism: allow a separate font for symbols,
David Aspinall
2009-08-28
*
Doc tweaks via checkdoc.
David Aspinall
2009-08-20
*
Add indirection for setting unicode tokens variables to add customize menu op...
David Aspinall
2009-08-12
*
unicode-tokens-list-tokens: change help doc
David Aspinall
2009-08-12
*
Add docstrings. Regexp quote to escape control chars and regions
David Aspinall
2009-08-06
*
Work in progress on multiple instances of token modes
David Aspinall
2009-08-06
[next]