• 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.
    6165ac52
glob.ml 1.49 KB