aboutsummaryrefslogtreecommitdiffhomepage
path: root/lib
Commit message (Expand)AuthorAge
...
* Add characterp for Emacs 22Gravatar David Aspinall2009-09-05
* Clean compile, remove useless autoload settings.Gravatar David Aspinall2009-09-05
* Turn on proof-general-debug. Missing requireGravatar David Aspinall2009-09-05
* Tidy whitespaceGravatar David Aspinall2009-09-05
* CommentsGravatar David Aspinall2009-09-05
* Missing declarationGravatar David Aspinall2009-09-05
* Make bug references clickableGravatar David Aspinall2009-09-05
* replace-in-string -> replace-regexp-in-stringGravatar David Aspinall2009-09-04
* Disable fontification of input and output. Fix C-c C-c bindingGravatar David Aspinall2009-09-04
* Disable buffer truncation for nowGravatar David Aspinall2009-09-04
* Profile more of the codeGravatar David Aspinall2009-09-04
* Define some keys.Gravatar David Aspinall2009-09-04
* Remove left over comint-ismsGravatar David Aspinall2009-09-04
* Support for Emacs22Gravatar David Aspinall2009-09-04
* Remove further unnecessary compatibility code.Gravatar David Aspinall2009-09-04
* Profile settingsGravatar David Aspinall2009-09-04
* Trimmed down comintGravatar David Aspinall2009-09-04
* Remove some old X-Symbol references.Gravatar David Aspinall2009-09-01
* Attempt to make compatible with Mac OS X port of Emacs 23.Gravatar David Aspinall2009-09-01
* Fix unicode-tokens-script-font-faceGravatar David Aspinall2009-08-31
* Support mouse font selection in Emacs 22.Gravatar David Aspinall2009-08-31
* Experiments improving defaultsGravatar David Aspinall2009-08-31
* Disable large symbol font for nowGravatar David Aspinall2009-08-31
* Improve and extend font configuration. Add unicode-tokens-replace-shortcut-m...Gravatar David Aspinall2009-08-30
* Update autoloadsGravatar David Aspinall2009-08-28
* Add convenience function for profilingGravatar David Aspinall2009-08-28
* Add a fontGravatar David Aspinall2009-08-28
* Extend the available types of controls. Move fontsymb-properties here. Pret...Gravatar David Aspinall2009-08-28
* Disable "Set fontsets" sub menu for new EmacsenGravatar David Aspinall2009-08-28
* Change font-lock-keywords to use our own hacked `unicode-tokens-prepend-text-...Gravatar David Aspinall2009-08-28
* Enhanced font setting mechanism: allow a separate font for symbols,Gravatar David Aspinall2009-08-28
* Doc tweaks via checkdoc.Gravatar David Aspinall2009-08-20
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* unicode-tokens-list-tokens: change help docGravatar David Aspinall2009-08-12
* Add docstrings. Regexp quote to escape control chars and regionsGravatar David Aspinall2009-08-06
* Work in progress on multiple instances of token modesGravatar David Aspinall2009-08-06
* Improve documentation. Add `unicode-tokens-list-shortcuts'.Gravatar David Aspinall2009-07-30
* Fix so highlighting of real unicode characters setting is obeyed when mode to...Gravatar David Aspinall2009-07-30
* Define maths-menu-insert-XX functions for convenience of user-defined keybind...Gravatar David Aspinall2009-07-30
* Improve docstringGravatar David Aspinall2009-07-30
* Cleanup more Emacs compatibilityGravatar David Aspinall2009-05-27
* Add functions for encoding string and buffer regionsGravatar David Aspinall2009-05-26
* 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: font...Gravatar David Aspinall2009-05-26
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-29 08:42:28 +0000