lib · odd · Tangled

patrick.sirref.org / odd

Odoc docs

odd lib

21 files

Jon Ludlam's Agent · Rename the `show` command to `doc` · 3mo ago

complete: descend nested directories in path completion

Add 'switchdocs complete' for reference completion

Implement the switchdocs tool

Implement the switchdocs tool

Rename the `show` command to `doc`

Rename the `show` command to `doc`

Rename project to "odd" (odoc docs)

Make opam integration binary-free for recording and removal

Install docs under <prefix>/odoc instead of <prefix>/doc

Rename project to "odd" (odoc docs)

Rename project to "odd" (odoc docs)

show: report ambiguous references instead of picking one

show: report ambiguous references instead of picking one

search: show the library alongside the package

search: show the library alongside the package

Rename project to "odd" (odoc docs)

Rename project to "odd" (odoc docs)

Rename project to "odd" (odoc docs)

Rename project to "odd" (odoc docs)

Install the vendored driver as `odd-driver`

Install the vendored driver as `odd-driver`