-
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 | ||
| doc_def.mli | ||
| doc_html.ml | ||
| doc_html.mli | ||
| doc_lexer.mll | ||
| doc_main.ml |