Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Comment | 2008-08-06 | |
* | Merge changes from Version4Branch. | 2008-07-24 | |
* | Fix clash with X-Symbol resulting in enabling then disabling symbols | 2008-02-17 | |
* | proof-unicode-tokens-set-global: call proof-unicode-tokens-init. | 2008-02-06 | |
* | Use proof-auxmodes to load auxiliary modes properly when required. | 2008-02-06 | |
* | Further configuration settings | 2008-02-04 | |
* | Fix RCS tags | 2008-01-30 | |
* | Support dynamically changing short-cut list | 2008-01-30 | |
* | Experiment with enabling this for XEmacs. | 2008-01-29 | |
* | Use correct shell encoding function! | 2008-01-29 | |
* | Add autoload for proof-unicode-tokens-shell-config | 2008-01-28 | |
* | Add hooks for unicode tokens within proof shell | 2008-01-28 | |
* | Add shortcuts for tokens. | 2008-01-28 | |
* | Fix startup | 2008-01-27 | |
* | New files. | 2008-01-25 |