Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | latex documentation: synchronize code style with the manual | Florian Angeletti | 2023-01-06 | 1 | -21/+17 |
* | latex api documentation: some threads modules have moved to stdlib | Florian Angeletti | 2022-06-07 | 1 | -3/+0 |
* | Remove deprecated functions (#10867) | Nicolás Ojeda Bär | 2022-01-12 | 1 | -1/+0 |
* | Use babel to allow underscore in labels | Florian Angeletti | 2021-10-20 | 1 | -2/+2 |
* | documentation: configuration switch for an odoc documentation mode (#9997) | Florian Angeletti | 2021-04-07 | 1 | -3/+62 |
* | documentation: update github action | octachron | 2020-12-03 | 1 | -2/+2 |
* | Move doc to api_docgen and restore installation | octachron | 2020-12-02 | 1 | -0/+34 |