aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-unicode-tokens.el
Commit message (Expand)AuthorAge
* Use `cl-lib` instead of `cl` everywhereGravatar Stefan Monnier2018-12-13
* Update copyright messages and improve the header of elisp files.Gravatar Erik Martin-Dorel2018-02-21
* Change (eval-when (compile) ...) to (eval-when-compile ...)Gravatar Clément Pit--Claudel2017-05-05
* proof-unicode-tokens-enable: autoload so turning on Unicode tokens worksGravatar David Aspinall2009-09-20
* Clean compileGravatar David Aspinall2009-09-10
* Require on scomintGravatar David Aspinall2009-09-08
* Clean whitespaceGravatar David Aspinall2009-09-05
* Add indirection for setting unicode tokens variables to add customize menu op...Gravatar David Aspinall2009-08-12
* CommentGravatar David Aspinall2008-08-06
* Merge changes from Version4Branch.Gravatar David Aspinall2008-07-24
* Fix clash with X-Symbol resulting in enabling then disabling symbolsGravatar David Aspinall2008-02-17
* proof-unicode-tokens-set-global: call proof-unicode-tokens-init.Gravatar David Aspinall2008-02-06
* Use proof-auxmodes to load auxiliary modes properly when required.Gravatar David Aspinall2008-02-06
* Further configuration settingsGravatar David Aspinall2008-02-04
* Fix RCS tagsGravatar David Aspinall2008-01-30
* Support dynamically changing short-cut listGravatar David Aspinall2008-01-30
* Experiment with enabling this for XEmacs.Gravatar David Aspinall2008-01-29
* Use correct shell encoding function!Gravatar David Aspinall2008-01-29
* Add autoload for proof-unicode-tokens-shell-configGravatar David Aspinall2008-01-28
* Add hooks for unicode tokens within proof shellGravatar David Aspinall2008-01-28
* Add shortcuts for tokens.Gravatar David Aspinall2008-01-28
* Fix startupGravatar David Aspinall2008-01-27
* New files.Gravatar David Aspinall2008-01-25
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-06 16:22:14 +0000