| Commit message (Expand) | Author | Age | Files | Lines |
* | Merge commit '35af4cddfd31129391f904167236270a004037f8' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-21 | 13 | -83/+81 |
|\ |
|
| * | webman: Add spaces inside metasyntax braces | Wiktor Kuchta | 2021-12-10 | 10 | -55/+55 |
| * | manual: Fix some typos with spaces | Wiktor Kuchta | 2021-12-10 | 3 | -6/+6 |
| * | manual: More consistent spacing in lex.html | Wiktor Kuchta | 2021-12-10 | 2 | -47/+47 |
| * | manual: Remove space inserting from syntaxdef.hva | Wiktor Kuchta | 2021-12-10 | 1 | -14/+12 |
* | | Merge commit '7a0e1d2c7631764ce49081a9f204b55884214e2b' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-21 | 3 | -9/+15 |
|\ \
| |/ |
|
| * | Merge pull request #10813 from wiktorkuchta/manual-numbers | Florian Angeletti | 2021-12-10 | 2 | -7/+15 |
| |\ |
|
| | * | webman: Fix issues with .number | Wiktor Kuchta | 2021-12-07 | 2 | -7/+15 |
| * | | Merge pull request #10776 from shindere/csldir | Florian Angeletti | 2021-12-06 | 1 | -2/+0 |
| |\ \ |
|
| | * | | Manual build system: remove no longer used variable definition | Sébastien Hinderer | 2021-11-16 | 1 | -2/+0 |
* | | | | Merge commit 'b4c5d7a55d9ec25693ba741a613d81f2c3ef66bc' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-21 | 2 | -39/+10 |
|\ \ \ \
| |/ / / |
|
| * | | | Remove obsolete reference to `-lcurses` | Xavier Leroy | 2021-12-06 | 1 | -2/+2 |
| * | | | Document the effect of caml_startup on Unix signal handlers | Xavier Leroy | 2021-12-06 | 1 | -0/+6 |
| | |/
| |/| |
|
| * | | Revert "Merge pull request #10736 from xavierleroy/bigger-stack" | Xavier Leroy | 2021-11-29 | 1 | -37/+2 |
| |/ |
|
* | | Merge commit 'edf0075888ec27a50c4f50f76dba46f730797651' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 1 | -2/+37 |
|\ \
| |/ |
|
| * | Add documentation on stack size for ocamlopt-compiled programs | Xavier Leroy | 2021-11-06 | 1 | -2/+37 |
* | | Merge commit 'f310f749bdb2979424e9e8caed6ef97afe3ccf9c' into | Tom Kelly | 2021-12-20 | 1 | -1/+0 |
|\ \
| |/ |
|
| * | Fix compile error due to unused open | Wiktor Kuchta | 2021-11-04 | 1 | -1/+0 |
* | | Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 3 | -13/+9 |
|\ \
| |/ |
|
| * | Merge pull request #10672 from wiktorkuchta/webman-disc | Florian Angeletti | 2021-10-21 | 2 | -13/+6 |
| |\ |
|
| | * | webman: Use li::marker for coloring bullets | Wiktor Kuchta | 2021-10-20 | 2 | -13/+6 |
| * | | Use babel to allow underscore in labels | Florian Angeletti | 2021-10-20 | 1 | -0/+3 |
| |/ |
|
* | | Merge commit '7fb10211f65d0d558d7b0c69e5ea427621f25e09' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 1 | -1/+1 |
|\ \
| |/ |
|
| * | specify that caml_alloc_custom_mem is available since 4.08 (#10704) | Simon Cruanes | 2021-10-18 | 1 | -1/+1 |
* | | Merge commit '0b3f8dd77d7569208f21bcbd67b85260eed65076' into 5.00_rebase_to_pr | Tom Kelly | 2021-12-20 | 5 | -57/+66 |
|\ \
| |/ |
|
| * | Let manual/src/html_processing/src/common.ml be generated by configure | Sébastien Hinderer | 2021-10-11 | 2 | -7/+7 |
| * | Let configure rather than make generate manual/src/version.tex | Sébastien Hinderer | 2021-10-11 | 2 | -4/+4 |
| * | Documented M, m, n, w, W, t, c and H options of OCAMLRUNPARAM, Fixes #8697 (#... | Dong An | 2021-10-06 | 1 | -46/+55 |
* | | Move effect handlers to its own module in Stdlib | KC Sivaramakrishnan | 2021-10-11 | 1 | -0/+2 |
* | | update docs for Domains, Mutex, Condition and Semaphore | Tom Kelly | 2021-10-05 | 2 | -3/+11 |
|/ |
|
* | manual: Fix inconsistent styling in typedecl.html | Wiktor Kuchta | 2021-09-17 | 1 | -5/+5 |
* | manual: add missing Bigarray C element kinds | Nicolás Ojeda Bär | 2021-09-11 | 1 | -0/+3 |
* | Merge pull request #10602 from jmadiot/manual-errormsg-pre | Florian Angeletti | 2021-09-08 | 1 | -2/+1 |
|\ |
|
| * | manual: keep white spaces in error messages | Jean-Marie Madiot | 2021-09-02 | 1 | -2/+1 |
* | | manual: fewer hevea-generated css classes (#10605) | Florian Angeletti | 2021-09-07 | 6 | -27/+41 |
|/ |
|
* | Merge pull request #10601 from Octachron/manual_separate_library_tex_files | Gabriel Scherer | 2021-09-02 | 2 | -2/+3 |
|\ |
|
| * | manual: fix odoc build | Florian Angeletti | 2021-09-02 | 1 | -0/+1 |
| * | manual: more explicit include of module documentation in latex mode | Florian Angeletti | 2021-09-01 | 1 | -2/+2 |
* | | Merge pull request #10587 from dra27/remove-SRC | Gabriel Scherer | 2021-09-02 | 4 | -20/+12 |
|\ \ |
|
| * | | Correct Makefile include'd in manual | David Allsopp | 2021-09-02 | 1 | -2/+2 |
| * | | Remove unnecessary COMPFLAGS in manual | David Allsopp | 2021-08-30 | 1 | -1/+0 |
| * | | Eliminate need for abspath | David Allsopp | 2021-08-30 | 2 | -8/+1 |
| * | | Use ROOTDIR not SRC in manual build system | David Allsopp | 2021-08-29 | 2 | -14/+14 |
* | | | Compute STDLIB_MODULES with a C auxiliary | David Allsopp | 2021-07-05 | 1 | -1/+1 |
* | | | Merge pull request #10588 from dra27/manual-mkdir-again | David Allsopp | 2021-09-01 | 1 | -4/+5 |
|\ \ \
| |_|/
|/| | |
|
| * | | Fix incorrect pattern rule | David Allsopp | 2021-08-29 | 1 | -1/+1 |
| * | | curl quietly | David Allsopp | 2021-08-29 | 1 | -3/+4 |
| |/ |
|
* | | Add {In,Out}_channel to Stdlib (#10545) | Nicolás Ojeda Bär | 2021-09-01 | 2 | -1/+5 |
|/ |
|
* | manual: Fix typo in GADT examples (#10581) | wiktorkuchta | 2021-08-27 | 1 | -2/+2 |
* | Remove manual/tools/htmltransf | Wiktor Kuchta | 2021-08-19 | 4 | -124/+4 |