Closed trevorbaca closed 5 years ago
Segment-maker and the IDE together canonize the six types of embedded markup:
clock time markup figure name markup local measure number markup measure index markup spacing markup stage number markup
Generalize embedded markup to allow new types of embedded markup to be defined as needed.
This will probably also allow stage number markup to be removed from the IDE.
Still valid in October 2018.
Done with tag - hide (th), 'tag - show (ts).
tag - hide (th)
'tag - show (ts)
Segment-maker and the IDE together canonize the six types of embedded markup:
Generalize embedded markup to allow new types of embedded markup to be defined as needed.
This will probably also allow stage number markup to be removed from the IDE.