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 (
Collapse
)
Author
Age
*
Update copyright messages and improve the header of elisp files.
Erik Martin-Dorel
2018-02-21
|
*
Change (eval-when (compile) ...) to (eval-when-compile ...)
Clément Pit--Claudel
2017-05-05
|
|
|
|
This fixes a bunch of compilation warnings
*
proof-unicode-tokens-enable: autoload so turning on Unicode tokens works
David Aspinall
2009-09-20
|
*
Clean compile
David Aspinall
2009-09-10
|
*
Require on scomint
David Aspinall
2009-09-08
|
*
Clean whitespace
David Aspinall
2009-09-05
|
*
Add indirection for setting unicode tokens variables to add customize menu ↵
David Aspinall
2009-08-12
|
|
|
|
options
*
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
|
|
|
|
Add proof-token-name-alist to allow dynamic changing of tables.
*
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