summaryrefslogtreecommitdiff
path: root/manual
Commit message (Expand)AuthorAgeFilesLines
* Merge commit '35af4cddfd31129391f904167236270a004037f8' into 5.00_rebase_to_prTom Kelly2021-12-2113-83/+81
|\
| * webman: Add spaces inside metasyntax bracesWiktor Kuchta2021-12-1010-55/+55
| * manual: Fix some typos with spacesWiktor Kuchta2021-12-103-6/+6
| * manual: More consistent spacing in lex.htmlWiktor Kuchta2021-12-102-47/+47
| * manual: Remove space inserting from syntaxdef.hvaWiktor Kuchta2021-12-101-14/+12
* | Merge commit '7a0e1d2c7631764ce49081a9f204b55884214e2b' into 5.00_rebase_to_prTom Kelly2021-12-213-9/+15
|\ \ | |/
| * Merge pull request #10813 from wiktorkuchta/manual-numbersFlorian Angeletti2021-12-102-7/+15
| |\
| | * webman: Fix issues with .numberWiktor Kuchta2021-12-072-7/+15
| * | Merge pull request #10776 from shindere/csldirFlorian Angeletti2021-12-061-2/+0
| |\ \
| | * | Manual build system: remove no longer used variable definitionSébastien Hinderer2021-11-161-2/+0
* | | | Merge commit 'b4c5d7a55d9ec25693ba741a613d81f2c3ef66bc' into 5.00_rebase_to_prTom Kelly2021-12-212-39/+10
|\ \ \ \ | |/ / /
| * | | Remove obsolete reference to `-lcurses`Xavier Leroy2021-12-061-2/+2
| * | | Document the effect of caml_startup on Unix signal handlersXavier Leroy2021-12-061-0/+6
| | |/ | |/|
| * | Revert "Merge pull request #10736 from xavierleroy/bigger-stack"Xavier Leroy2021-11-291-37/+2
| |/
* | Merge commit 'edf0075888ec27a50c4f50f76dba46f730797651' into 5.00_rebase_to_prTom Kelly2021-12-201-2/+37
|\ \ | |/
| * Add documentation on stack size for ocamlopt-compiled programsXavier Leroy2021-11-061-2/+37
* | Merge commit 'f310f749bdb2979424e9e8caed6ef97afe3ccf9c' intoTom Kelly2021-12-201-1/+0
|\ \ | |/
| * Fix compile error due to unused openWiktor Kuchta2021-11-041-1/+0
* | Merge commit '2250fd8a2218796c07b0a25f184cdc682e4695ba' into 5.00_rebase_to_prTom Kelly2021-12-203-13/+9
|\ \ | |/
| * Merge pull request #10672 from wiktorkuchta/webman-discFlorian Angeletti2021-10-212-13/+6
| |\
| | * webman: Use li::marker for coloring bulletsWiktor Kuchta2021-10-202-13/+6
| * | Use babel to allow underscore in labelsFlorian Angeletti2021-10-201-0/+3
| |/
* | Merge commit '7fb10211f65d0d558d7b0c69e5ea427621f25e09' into 5.00_rebase_to_prTom Kelly2021-12-201-1/+1
|\ \ | |/
| * specify that caml_alloc_custom_mem is available since 4.08 (#10704)Simon Cruanes2021-10-181-1/+1
* | Merge commit '0b3f8dd77d7569208f21bcbd67b85260eed65076' into 5.00_rebase_to_prTom Kelly2021-12-205-57/+66
|\ \ | |/
| * Let manual/src/html_processing/src/common.ml be generated by configureSébastien Hinderer2021-10-112-7/+7
| * Let configure rather than make generate manual/src/version.texSébastien Hinderer2021-10-112-4/+4
| * Documented M, m, n, w, W, t, c and H options of OCAMLRUNPARAM, Fixes #8697 (#...Dong An2021-10-061-46/+55
* | Move effect handlers to its own module in StdlibKC Sivaramakrishnan2021-10-111-0/+2
* | update docs for Domains, Mutex, Condition and SemaphoreTom Kelly2021-10-052-3/+11
|/
* manual: Fix inconsistent styling in typedecl.htmlWiktor Kuchta2021-09-171-5/+5
* manual: add missing Bigarray C element kindsNicolás Ojeda Bär2021-09-111-0/+3
* Merge pull request #10602 from jmadiot/manual-errormsg-preFlorian Angeletti2021-09-081-2/+1
|\
| * manual: keep white spaces in error messagesJean-Marie Madiot2021-09-021-2/+1
* | manual: fewer hevea-generated css classes (#10605)Florian Angeletti2021-09-076-27/+41
|/
* Merge pull request #10601 from Octachron/manual_separate_library_tex_filesGabriel Scherer2021-09-022-2/+3
|\
| * manual: fix odoc buildFlorian Angeletti2021-09-021-0/+1
| * manual: more explicit include of module documentation in latex modeFlorian Angeletti2021-09-011-2/+2
* | Merge pull request #10587 from dra27/remove-SRCGabriel Scherer2021-09-024-20/+12
|\ \
| * | Correct Makefile include'd in manualDavid Allsopp2021-09-021-2/+2
| * | Remove unnecessary COMPFLAGS in manualDavid Allsopp2021-08-301-1/+0
| * | Eliminate need for abspathDavid Allsopp2021-08-302-8/+1
| * | Use ROOTDIR not SRC in manual build systemDavid Allsopp2021-08-292-14/+14
* | | Compute STDLIB_MODULES with a C auxiliaryDavid Allsopp2021-07-051-1/+1
* | | Merge pull request #10588 from dra27/manual-mkdir-againDavid Allsopp2021-09-011-4/+5
|\ \ \ | |_|/ |/| |
| * | Fix incorrect pattern ruleDavid Allsopp2021-08-291-1/+1
| * | curl quietlyDavid Allsopp2021-08-291-3/+4
| |/
* | Add {In,Out}_channel to Stdlib (#10545)Nicolás Ojeda Bär2021-09-012-1/+5
|/
* manual: Fix typo in GADT examples (#10581)wiktorkuchta2021-08-271-2/+2
* Remove manual/tools/htmltransfWiktor Kuchta2021-08-194-124/+4