• 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
Name
Last commit
Last update
..
doc_def.ml Loading commit data...
doc_def.mli Loading commit data...
doc_html.ml Loading commit data...
doc_html.mli Loading commit data...
doc_lexer.mll Loading commit data...
doc_main.ml Loading commit data...