diff options
| author | David Aspinall | 2009-08-31 09:13:32 +0000 |
|---|---|---|
| committer | David Aspinall | 2009-08-31 09:13:32 +0000 |
| commit | ff12229a5c6bff20c403c6d357c3d40f93726e1c (patch) | |
| tree | 5615f19902089ef45ed92588bd68d21b63a856ca /isar | |
| parent | 11281d51fdde771aa36925956d7a6ae84149ac03 (diff) | |
Disable large symbol font for now
Diffstat (limited to 'isar')
| -rw-r--r-- | isar/isar-unicode-tokens.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/isar/isar-unicode-tokens.el b/isar/isar-unicode-tokens.el index e6dbea49..9d6cd263 100644 --- a/isar/isar-unicode-tokens.el +++ b/isar/isar-unicode-tokens.el @@ -72,7 +72,9 @@ ("Overline" "boverline" "eoverline" overline) ("Underline" "bunderline" "eunderline" underline) ("Big" "bbig" "ebig" big) - ("Small" "bsmall" "esmall" small)) + ("Small" "bsmall" "esmall" small) +; ("Large symbols" "bbigsyms" "ebigsyms" large-symbols) + ) "Control sequence tokens for Isabelle." :group 'isabelle-tokens :set 'isar-set-and-restart-tokens) |