index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
lib
Age
Commit message (
Expand
)
Author
2009-08-31
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-30
Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...
David Aspinall
2009-08-28
Update autoloads
David Aspinall
2009-08-28
Add convenience function for profiling
David Aspinall
2009-08-28
Add a font
David Aspinall
2009-08-28
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-20
Doc tweaks via checkdoc.
David Aspinall
2009-08-12
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-06
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-07-30
Improve documentation. Add `unicode-tokens-list-shortcuts'.
David Aspinall
2009-07-30
Fix so highlighting of real unicode characters setting is obeyed when mode to...
David Aspinall
2009-07-30
Define maths-menu-insert-XX functions for convenience of user-defined keybind...
David Aspinall
2009-07-30
Improve docstring
David Aspinall
2009-05-27
Cleanup more Emacs compatibility
David Aspinall
2009-05-26
Add functions for encoding string and buffer regions
David Aspinall
2009-05-26
Remove process-live-p, move complete autoload to use point
David Aspinall
2009-05-26
unicode-tokens-symbs-to-props: Allow multiple properties to work. Note: font...
David Aspinall
2009-01-14
Made indentation optional when replaing # by holes.
Pierre Courtieu
2008-10-22
Fixing parenthesis not accepted by recent emacs anymore. fix by Stefan
Pierre Courtieu
2008-09-18
unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt.
David Aspinall
2008-08-06
Documentation
David Aspinall
2008-08-05
unicode-tokens-initialise: initialise menu here too rather than at top level
David Aspinall
2008-08-04
Merge accidental changes to 3.7 branch. Add Highlight real Unicode chars opt...
David Aspinall
2008-07-24
Fix maths menu tokenise adjustment for type of unicode-tokens-uchar-hash-table.
David Aspinall
2008-07-24
unicode-tokens-insert-token, unicode-tokens-insert-control: fixes and notes. ...
David Aspinall
2008-07-24
Allow generating variants of given fonts too
David Aspinall
2008-07-24
Merge changes from Version4Branch.
David Aspinall
2008-07-21
Changed the main menu of coq. Changed a shortcut for holes.
Pierre Courtieu
2008-07-19
Fix typo.
David Aspinall
2008-07-16
Remove use of :help for menu tooltips- GNU Emacs only.
David Aspinall
2008-07-16
Deleted file
David Aspinall
2008-07-12
backport of recent changes to lib/unicode-tokens.el:
Makarius Wenzel
2008-07-12
Correct italic attribute
David Aspinall
2008-07-10
Add NOTE
David Aspinall
2008-07-10
Add other sup/subs to format menu.
David Aspinall
2008-07-10
Add format menu. Improve attempt to handle font-lock-face annotations. Stil...
David Aspinall
2008-07-10
Add isub and isup to unicode-tokens-annotation-control-token-alist
David Aspinall
2008-07-09
cover isup as well;
Makarius Wenzel
2008-07-05
Deleted file
David Aspinall
2008-07-05
TEMPORARY: add unicode-tokens2 mechanism to test across different machines
David Aspinall
2008-05-20
Fixed a bug with coq-prog-name.
Pierre Courtieu
2008-02-17
Remove junk
David Aspinall
[next]