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.

Change History (1)

comment:1 Changed 14 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Fixed: see isar-control-char-format-regexp in isar-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.

Note: See TracTickets for help on using tickets.