aboutsummaryrefslogtreecommitdiff
path: root/generic/proof-unicode-tokens.el
AgeCommit message (Expand)Author
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-02-26 23:31:25 +0000