GitHub · Where software is built

8000 GitHub · Where software is built

More Web Proxy on the site http://driver.im/

Labels Milestones New issue

Try to get rid of the symlinks in the repo

#80

· dbuenzli opened

on Jun 17, 2025

Packages with virtual libraries are racy on <code>odoc html</code>

#78

· dbuenzli opened

on May 31, 2025

Intermittent non-deterministic failure related to odoc deps files and buffering

#77

· raphael-proust opened

on May 20, 2025

Default theme has excessively low contrast

#76

· Tuplanolla opened

on Jan 2, 2025

Package page title, favicons, and jump to the package index

#75

· MisterDA opened

on Jul 11, 2024

PDF support

#73

· patrick-nicodemus opened

on Apr 16, 2024

Support for reading docs in terminals

#71

· shym opened

on Oct 26, 2023

Index of modules and ocamlfind packages

#70

· copy opened

on Jul 2, 2023

Integrate the functionality of <code>odoc html-url</code>

#69

· dbuenzli opened

on Sep 15, 2022

Including project libraries in odig's documentation collection

#48

· hcarty opened

on Mar 11, 2019

Selective odoc forced rebuilds

#44

· dbuenzli opened

on Mar 8, 2019

0