• Guillaume Melquiond's avatar
    Remove line numbers from theory anchors (fixes #98). · 6165ac52
    Guillaume Melquiond authored
    Since the same name cannot be reused for several theories in a single
    file, the line-number suffix can be scrapped. This makes it easier to
    reference a given theory from a human-written documentation.
    The final underscore is kept to avoid ambiguities.
doc_def.ml 2.87 KB