Opened 17 years ago

Closed 17 years ago

Last modified 11 years ago

#91 closed defect (fixed)

PGML: add markup for subscript, superscript, bold, ...

Reported by: David Aspinall Owned by: David Aspinall
Priority: major Milestone:
Component: 5:PGIP-design Keywords:
Cc:

Description

PGML does not have this markup. Subscript and superscript, at least, are important for Isabelle display.

Change History (2)

comment:1 Changed 17 years ago by David Aspinall

Resolution: → fixed
Status: new → closed

Fixed with place directive of <subterm> element in brand new PGML 2.0.

comment:2 Changed 11 years ago by David Aspinall

Milestone: PG-Eclipse-1.0.7

Milestone PG-Eclipse-1.0.7 deleted

Note: See TracTickets for help on using tickets.