| Commit message (Collapse) | Author | Age |
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
use previously defined x-symbol-isabelle-user-table (or nil);
x-symbol-user-table achieves electric |- and |= symbols;
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
control of x-symbol-subscripts variable);
|
|
|
|
|
| |
present in X-Symbol-3.3e; should not cause problems with older
versions);
|
|
|
|
| |
fixed glyph of \<pounds>;
|
| |
|
| |
|
| |
|
|
|
|
| |
on isar version (only 1 backslash);
|
|
|
|
| |
unfortunately)
|
|
|