index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
generic
/
proof-unicode-tokens.el
Commit message (
Expand
)
Author
Age
*
Clean whitespace
David Aspinall
2009-09-05
*
Add indirection for setting unicode tokens variables to add customize menu op...
David Aspinall
2009-08-12
*
Comment
David Aspinall
2008-08-06
*
Merge changes from Version4Branch.
David Aspinall
2008-07-24
*
Fix clash with X-Symbol resulting in enabling then disabling symbols
David Aspinall
2008-02-17
*
proof-unicode-tokens-set-global: call proof-unicode-tokens-init.
David Aspinall
2008-02-06
*
Use proof-auxmodes to load auxiliary modes properly when required.
David Aspinall
2008-02-06
*
Further configuration settings
David Aspinall
2008-02-04
*
Fix RCS tags
David Aspinall
2008-01-30
*
Support dynamically changing short-cut list
David Aspinall
2008-01-30
*
Experiment with enabling this for XEmacs.
David Aspinall
2008-01-29
*
Use correct shell encoding function!
David Aspinall
2008-01-29
*
Add autoload for proof-unicode-tokens-shell-config
David Aspinall
2008-01-28
*
Add hooks for unicode tokens within proof shell
David Aspinall
2008-01-28
*
Add shortcuts for tokens.
David Aspinall
2008-01-28
*
Fix startup
David Aspinall
2008-01-27
*
New files.
David Aspinall
2008-01-25