Commit message (Expand) | Author | Age | |
---|---|---|---|
* | 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 |