summaryrefslogtreecommitdiff
path: root/manual/src/tutorials
Commit message (Collapse)AuthorAgeFilesLines
* modify to use domainslib 0.5.0 api in doc-5.0 (#11823)Felix2022-12-201-3/+3
| | | In the domainslib latest release 0.5.0, there is a change of renaming `num_additional_domains` to `num_domains` in setup_tool.
* Merge pull request #11813 from edwintorok/5.0-docsFlorian Angeletti2022-12-191-0/+10
| | | | | | 5.0 docs: Make new multicore chapters easier to discover, and emphasize impact on C bindings (cherry picked from commit 5f856479c79900c42525543677609b78a2032131)
* Merge the remaining .gitignore files into the root oneSébastien Hinderer2022-10-131-2/+0
|
* manual: warn about using float for money calculation (#10038)Yawar Amin2022-10-061-5/+7
| | | | Add a warning about using floats for monetary calculations.
* Manual chapters on parallelism and memory model (#11280)KC Sivaramakrishnan2022-10-043-1/+1489
| | | Add manual chapters on parallelism and memory model
* fix #10494Gabriel Scherer2022-09-281-1/+1
|
* Rename caml-tex into ocamltex, + related changesSébastien Hinderer2022-09-271-1/+1
| | | | | | | | | * Move the definition of WITH_CAMLTEX from Makefile.config.in to Makefile.build_config.in (makes it private) * Rename the variable from WITH_CAMLTEX to build_ocamltex * Change its definition in configure.ac so that its false rather than the empty string when the tool is not built * Rename the tool itself from caml-tex to ocamltex
* Manual grammar fixes (#11510)Flying-Toast2022-09-017-28/+27
|
* Fix a typo in the Objects manual (#11270)Michael Hendricks2022-05-211-1/+1
|
* Avoid Fun.id and use "fun" if no pattern matching (#11151)favonia2022-04-042-5/+5
| | | | | | | * Use (fun i -> i) in all user-facing documentation * Replace "function x -> ..." with "fun x -> ..." * Revert removal of Fun.id Co-authored-by: Nicolás Ojeda Bär <n.oje.bar@gmail.com>
* typo (#11048)Jochen Bartl2022-02-221-1/+1
|
* typoNicolas Rolland2022-01-291-1/+1
| | | the type of "f" is "($App_'b -> a) term" and not "($App_'b -> a)"
* Add the distclean target to the makefiles under manualSébastien Hinderer2022-01-181-0/+3
|
* manual: Fix typo in GADT examples (#10581)wiktorkuchta2021-08-271-2/+2
|
* Tidy-up the testsuite/manual commands (#10411)David Allsopp2021-08-111-5/+4
| | | | | | | | DIFF is no longer used anywhere, so remove the Windows-specific command. Remove $(FIND) completely (it was only used in a clean target, where it wasn't read anyway!) Move $(CYGPATH) and $(SORT) to testsuite/Makefile Remove unnecessary SET_LD_PATH calls in manual and Use ocamlrun -I instead (which has higher precedence than CAML_LD_LIBRARY_PATH) for the ones which are necessary.
* Split labels and polymorphic variants tutorials; move GADTs into tutorial ↵John Whitington2021-06-235-198/+492
| | | | | | | (#10206) * Split Labels / Variants chapter into two * Move GADT tutorial into the tutorials * Make beginning of the GADT tutorial less abrupt
* Build system: rename the CAMLRUN variable to OCAMLRUNSébastien Hinderer2021-04-271-3/+3
| | | | | | Since ocamldoc/Makefile.best_ocamldoc was already using OCAMLRUN (rather than CAMLRUN), it was possible to remove its definition in that file, because the value is now initialised globally in Makefile.common.
* Merge pull request #10140 from gasche/require-full-labelsGabriel Scherer2021-04-141-29/+0
|\ | | | | enable warning 6 [labels-omitted] by default
| * adapt the manual to discourage labels-omitted applicationsGabriel Scherer2021-04-141-29/+0
| |
* | Stop using Makefile.tools in the makefiles used to build the manualSébastien Hinderer2021-04-141-4/+4
| |
* | Makefile.tools & co: get rid of the TOPDIR variableSébastien Hinderer2021-04-131-5/+5
|/ | | | | It's a synonymous for ROOTDIR so rather use this later one as in the rest of the build system.
* manual/manual -> manual/srcJohn Whitington2021-01-298-0/+4133
View Lorry Controller Status