summaryrefslogtreecommitdiff
path: root/manual
Commit message (Expand)AuthorAgeFilesLines
* Merge pull request #9657 from nojb/warning_mnemonicsGabriel Scherer2020-07-212-4/+15
|\
| * Update manualNicolás Ojeda Bär2020-07-201-2/+12
| * Display warning names in manualNicolás Ojeda Bär2020-07-201-2/+3
* | Fix typoNicolás Ojeda Bär2020-07-211-1/+1
|/
* Merge pull request #9541 from Engil/instrumented_runtime_manualFlorian Angeletti2020-07-084-2/+319
|\
| * manual: fix a typo in instrumented runtime manpageEnguerrand Decorne2020-07-081-1/+1
| * manual: fix typo in instrumented runtime manualEnguerrand Decorne2020-07-081-1/+1
| * manual: adjustments to the instrumented runtime manual pageEnguerrand Decorne2020-07-082-58/+41
| * instrumented runtime: change environment variable from OCAML_EVENTLOG_FILE to...Enguerrand Decorne2020-07-081-120/+140
| * add manual page for the instrumented runtimeEnguerrand Decorne2020-07-084-1/+315
* | misplaced subsection '*'珊瑚2020-06-301-1/+1
* | correct punctuation珊瑚2020-06-281-1/+1
* | Add injectivity annotations (#9500)Jacques Garrigue2020-06-151-2/+22
* | TypoNicolás Ojeda Bär2020-06-141-1/+1
* | Merge pull request #9638 from hannesm/runtime-stack-limitGabriel Scherer2020-06-081-1/+3
|\ \
| * | documentation: clarify that l=x only affects byte-code runtimeHannes Mehnert2020-06-041-1/+3
* | | Merge pull request #9610 from xavierleroy/manual-intf-cFlorian Angeletti2020-06-051-20/+65
|\ \ \
| * | | Reword what will happen with pointers outside the heapXavier Leroy2020-06-041-2/+2
| * | | Document alternate encodings for out-of-heap pointersXavier Leroy2020-06-041-1/+35
| * | | FFI documentation: naked pointers are obsoleteXavier Leroy2020-06-041-20/+31
| |/ /
* | | ManualNicolás Ojeda Bär2020-06-041-0/+2
|/ /
* | Merge pull request #9580 from stedolan/stdlib-doc-fixFlorian Angeletti2020-06-021-1/+1
|\ \
| * | Remove broken link to PervasivesStephen Dolan2020-05-251-1/+1
* | | Add Val_some,Val_none,Some_val, Is_none, Is_some, Tag_some (#9569)Nicolás Ojeda Bär2020-06-011-0/+8
|/ /
* | fix the manual and improve the check-stdlib-modules error messageGabriel Scherer2020-05-162-1/+4
* | like classes, type constraints are 'typexpr = typexpr'Jacques Garrigue2020-05-151-1/+1
* | Make -flarge-toc the default for PowerPC (#9557)David Allsopp2020-05-131-0/+11
|/
* Update documentation for the Thread module and deprecate some functions (#9419)Xavier Leroy2020-04-252-26/+11
* Merge pull request #9349 from lpw25/inline-hintLeo White2020-04-171-1/+3
|\
| * Add [@inlined hint] attributeLeo White2020-04-161-1/+3
* | Merge pull request #9422 from Anukriti12/gcdGabriel Scherer2020-04-071-12/+15
|\ \
| * | replaced fib example with gcd in coreexample.etexAnukriti122020-04-051-12/+15
* | | fix attribute examples in the manualoctachron2020-03-271-2/+2
|/ /
* | The manual is now hosted on ocaml.org (#9378)Xavier Leroy2020-03-206-23/+12
* | Merge pull request #9357 from muskangarg21/makedependFlorian Angeletti2020-03-171-0/+3
|\ \
| * | TOOLS: Ocamldep arg to not include current dir to search pathmuskangarg212020-03-161-0/+3
| |/
* | Add a new toplevel directive #use_output "<command>"Jérémie Dimino2020-03-161-0/+4
* | Deprecate -annot (#2141)Nicolás Ojeda Bär2020-03-131-7/+1
|/
* Fix font family in code snippet (#9334)Florian Angeletti2020-02-271-1/+1
* manual: reference, split expression grammarFlorian Angeletti2020-02-121-14/+20
* manual: a cautionary internal runtime API section (#9257)Florian Angeletti2020-01-311-14/+68
* Merge pull request #9157 from mkarutz/noalloc-master-lock-docsFlorian Angeletti2020-01-301-2/+3
|\
| * Added forward reference to "master lock"Malcolm Karutz2020-01-301-2/+3
| * Added [doesn't release the master lock] constraint to [@@noalloc] doc.Malcolm A. Karutz2019-12-031-3/+3
* | Merge pull request #9270 from gadmm/doc_stack_overflowGabriel Scherer2020-01-292-13/+13
* | types: allow class type paths in #tFlorian Angeletti2020-01-201-6/+6
* | Merge pull request #9169 from gasche/best-fit-manualGabriel Scherer2019-12-111-5/+7
|\ \
| * | better documentation for the best-fit allocation policyGabriel Scherer2019-12-101-5/+7
* | | manual bugfixStephen Dolan2019-12-091-3/+3
* | | Add version annotation on custom_fixed_length in manualStephen Dolan2019-12-091-0/+1
|/ /
View Lorry Controller Status