| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2009-09-05 | tokens-customizable-variables: new setting. All compositions to be more ↵ | David Aspinall | |
| general, and map char sequences into left-to-right placements | |||
| 2009-09-05 | Autoload | David Aspinall | |
| 2009-09-05 | Add characterp for Emacs 22 | David Aspinall | |
| 2009-09-05 | Clean compile, remove useless autoload settings. | David Aspinall | |
| 2009-09-05 | Turn on proof-general-debug. Missing require | David Aspinall | |
| 2009-09-05 | Tidy whitespace | David Aspinall | |
| 2009-09-05 | Comments | David Aspinall | |
| 2009-09-05 | Missing declaration | David Aspinall | |
| 2009-09-05 | Make bug references clickable | David Aspinall | |
| 2009-09-04 | replace-in-string -> replace-regexp-in-string | David Aspinall | |
| 2009-09-04 | Disable fontification of input and output. Fix C-c C-c binding | David Aspinall | |
| 2009-09-04 | Disable buffer truncation for now | David Aspinall | |
| 2009-09-04 | Profile more of the code | David Aspinall | |
| 2009-09-04 | Define some keys. | David Aspinall | |
| 2009-09-04 | Remove left over comint-isms | David Aspinall | |
| 2009-09-04 | Support for Emacs22 | David Aspinall | |
| 2009-09-04 | Remove further unnecessary compatibility code. | David Aspinall | |
| 2009-09-04 | Profile settings | David Aspinall | |
| 2009-09-04 | Trimmed down comint | David Aspinall | |
| 2009-09-01 | Remove some old X-Symbol references. | David Aspinall | |
| 2009-09-01 | Attempt to make compatible with Mac OS X port of Emacs 23. | David Aspinall | |
| 2009-08-31 | Fix unicode-tokens-script-font-face | David Aspinall | |
| 2009-08-31 | Support mouse font selection in Emacs 22. | David Aspinall | |
| Fix interface to custom, saved faces are in .emacs, not current buffer(!). | |||
| 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 ↵ | David Aspinall | |
| unicode-tokens-replace-shortcut-match. | |||
| 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. ↵ | David Aspinall | |
| Prettify the token table. | |||
| 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 ↵ | David Aspinall | |
| `unicode-tokens-prepend-text-property' instead of `font-lock-prepend-text-property' which gave ill formed property values for 'face. Still not clear if that function is faulty or usage was not as intended. Anyway, this repairs outstanding merge properties problem so that <bold><italic>foo</italic></bold> works as expected. Also: fix key binding for unicode-tokens-show-controls so is usable. | |||
| 2009-08-28 | Enhanced font setting mechanism: allow a separate font for symbols, | David Aspinall | |
| and add user-level functions to set the configured fonts. unicode-tokens-delete-token-near-point: add this user-level function | |||
| 2009-08-20 | Doc tweaks via checkdoc. | David Aspinall | |
| 2009-08-12 | Add indirection for setting unicode tokens variables to add customize menu ↵ | David Aspinall | |
| options | |||
| 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 ↵ | David Aspinall | |
| toggled on/off. | |||
| 2009-07-30 | Define maths-menu-insert-XX functions for convenience of user-defined ↵ | David Aspinall | |
| keybindings (replacing `x-symbol-INSERT-lambda', etc). | |||
| 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: ↵ | David Aspinall | |
| font prop must be given first | |||
| 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 | |
| Monnier. | |||
| 2008-09-18 | unicode-tokens-initialise: Fix bug introduced in 10.4: return value was spoilt. | David Aspinall | |
| 2008-08-06 | Documentation | David Aspinall | |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |