Nacara.Plugins
Modules
| Assembly | ||
|---|---|---|
Docs |
Renders comment bodies to HTML | Nacara.Plugin.Rocq |
Rocq |
Documentation pages from a compiled Rocq project: a page per module, and the Guarantees page | Nacara.Plugin.Rocq |
Records
| Assembly | ||
|---|---|---|
ArgumentEntry |
An argument entry of a doc comment, written - [name:] text |
Nacara.Plugin.Rocq |
Resolve |
Lookups that turn names in a comment into links | Nacara.Plugin.Rocq |
RocqOptions |
Options of the Rocq plugin | Nacara.Plugin.Rocq |
RocqPage |
The front matter of a generated page | Nacara.Plugin.Rocq |