aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-unicode-tokens.el
AgeCommit message (Expand)Author
2021-01-31fix make magic problem from 2017Hendrik Tews
2018-12-13Use `cl-lib` instead of `cl` everywhereStefan Monnier
2018-02-21Update copyright messages and improve the header of elisp files.Erik Martin-Dorel
2017-05-05Change (eval-when (compile) ...) to (eval-when-compile ...)Clément Pit--Claudel
2009-09-20proof-unicode-tokens-enable: autoload so turning on Unicode tokens worksDavid Aspinall
2009-09-10Clean compileDavid Aspinall
2009-09-08Require on scomintDavid Aspinall
2009-09-05Clean whitespaceDavid Aspinall
2009-08-12Add indirection for setting unicode tokens variables to add customize menu op...David Aspinall
2008-08-06CommentDavid Aspinall
2008-07-24Merge changes from Version4Branch.David Aspinall
2008-02-17Fix clash with X-Symbol resulting in enabling then disabling symbolsDavid Aspinall
2008-02-06proof-unicode-tokens-set-global: call proof-unicode-tokens-init.David Aspinall
2008-02-06Use proof-auxmodes to load auxiliary modes properly when required.David Aspinall
2008-02-04Further configuration settingsDavid Aspinall
2008-01-30Fix RCS tagsDavid Aspinall
2008-01-30Support dynamically changing short-cut listDavid Aspinall
2008-01-29Experiment with enabling this for XEmacs.David Aspinall
2008-01-29Use correct shell encoding function!David Aspinall
2008-01-28Add autoload for proof-unicode-tokens-shell-configDavid Aspinall
2008-01-28Add hooks for unicode tokens within proof shellDavid Aspinall
2008-01-28Add shortcuts for tokens.David Aspinall
2008-01-27Fix startupDavid Aspinall
2008-01-25New files.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 08:08:08 +0000