| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-01-30 | Fix RCS tags | David Aspinall |
| 2008-01-30 | Support dynamically changing short-cut list | David Aspinall |
| 2008-01-29 | Experiment with enabling this for XEmacs. | David Aspinall |
| 2008-01-29 | Use correct shell encoding function! | David Aspinall |
| 2008-01-28 | 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-27 | Fix startup | David Aspinall |
| 2008-01-25 | New files. | David Aspinall |
 |
index : proof-general | |
| Emacs plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |