| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
activate global-timing;
|
| |
|
| |
|
|
|
|
| |
fixed glyph of \<pounds>;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
do not load proof-site.el here;
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
on isar version (only 1 backslash);
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
command line, avoiding nil under all circumstances;
|
| |
|
|
|
|
| |
be less aggressive in changing x-symbol-enable;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
unfortunately)
|
| |
|