| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Monnier.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
http://proofgeneral.inf.ed.ac.uk/trac/ticket/236
|
| |
|
| |
|
| |
|
|
|
|
| |
option.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Enable fontsets command on menu always for now.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
with improvement due to Stefan Monnier. No change for XEmacs.
|
| |
|
| |
|
| |
|
| |
|
| |
|