A manager for labels from headings, figures, equations, tables and other document components.
The labels and label manager are responsible for:
Numbering. Accurate and consistent formatting of labels and their identifer. e.g. Fig. 1.
Internal links. Work in conjunction with the
@refto correctly link to these elements.
Tracking modification times. Keep track of the modification times for the label so that references to those labels can trigger a document rendering.