Opened 14 years ago
Closed 14 years ago
#306 closed defect (fixed)
Odd display of sub/superscripts
Reported by: | Makarius | Owned by: | David Aspinall |
---|---|---|---|
Priority: | major | Milestone: | PG-Emacs-4.0 |
Component: | 2:pg-emacs | Keywords: | |
Cc: |
Description
This is GNU Emacs 23.1.1 on Ubuntu 9.10.
Sub/superscripts are displayed in an odd way. E.g. x\<^isub>1y
has both 1
and y
as subscript, but the \<^isub>
control symbol applies only to the single symbol that follows it.
Note: See
TracTickets for help on using
tickets.
Fixed: see
isar-control-char-format-regexp
inisar-unicode-tokens.el
for the configuration of this. You may want to examine the precise regexp to check that it conforms accurately enough with Isabelle's syntax!See also discussion of this with Norbert in #280.