Skip to content

All definitions should be indexed #329

Open
@burblebee

Description

@burblebee

It was decided at the Rap. mtg that all definitions should be indexed, i.e., definitions which use \term{} should be fixed to use \defn{} or \defnx{}.

Metadata

Metadata

Assignees

No one assigned

    Labels

    bigAn issue causing a large set of changes, scattered across most of the text.

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions