summaryrefslogtreecommitdiff
path: root/stdlib
Commit message (Collapse)AuthorAgeFilesLines
* Merge commit 'c10217818f22d5eab897523a52a23fdf93c482f6' into ↵Tom Kelly2021-03-051-1/+1
|\ | | | | | | parallel_minor_gc_4_12
| * Merge pull request #9918 from OCamlPro-Coquera/trunkGabriel Scherer2020-09-151-1/+1
| |\ | | | | | | Stdlib.Format: missing `since` annotation for formatter_out_functions
| | * move since tag to type definitionAlbin Coquereau2020-09-151-2/+1
| | |
| | * Add a comment that out_indent is part of formatter_out_functions since ocaml ↵Albin Coquereau2020-09-151-0/+1
| | | | | | | | | | | | 4.06.0
* | | Merge commit 'd0e983e2aacfc77643f042a11673a7582bbb3015' into ↵Tom Kelly2021-03-0523-918/+4370
|\ \ \ | |/ / | | | | | | parallel_minor_gc_4_12
| * | Merge pull request #9745 from johnwhitington/trunkFlorian Angeletti2020-09-1523-918/+4370
| |\ \ | | |/ | |/| Unify labeled and unlabeled Standard Library module interfaces
| | * assoc -> assoc_optJohn Whitington2020-09-112-2/+2
| | |
| | * Fix two little errorsJohn Whitington2020-09-114-8/+8
| | |
| | * Fix reference to tools/unlabelJohn Whitington2020-09-111-3/+4
| | |
| | * Merge remote-tracking branch 'upstream/trunk' into trunkJohn Whitington2020-09-1119-15/+452
| | |\
| | * | Take account of GPR#9668John Whitington2020-09-102-0/+64
| | | |
| | * | Rename tools/unlabel --> tools/sync_stdlib_docsJohn Whitington2020-09-1019-42/+48
| | | |
| | * | Fix comment regarding NaN in Array.sortJohn Whitington2020-09-102-6/+4
| | | |
| | * | Adds readme to stdlib/templatesJohn Whitington2020-09-101-0/+3
| | | |
| | * | "final" fixesJohn Whitington2020-08-065-14/+20
| | | |
| | * | Restore tilde-removal, other little fixesJohn Whitington2020-08-052-19/+25
| | | |
| | * | Compflags @since removal for .cmti files for odocJohn Whitington2020-08-051-0/+1
| | | |
| | * | Float.Array(Labels) generated by tools/unlabelJohn Whitington2020-08-053-40/+863
| | | |
| | * | @since modifications only happen on labeled filesJohn Whitington2020-08-051-1/+2
| | | |
| | * | remove double @sincesJohn Whitington2020-08-038-60/+30
| | | |
| | * | ~prefix fixJohn Whitington2020-08-032-2/+2
| | | |
| | * | Fix deprecationsJohn Whitington2020-08-036-30/+58
| | | |
| | * | Tildes back in ~random parameter in Hashtbl.createJohn Whitington2020-08-033-15/+15
| | | |
| | * | Small fixes from @dra27's commentsJohn Whitington2020-08-034-8/+8
| | | |
| | * | Fix label warningsJohn Whitington2020-07-314-15/+15
| | | |
| | * | Check-typo and indenting all doneJohn Whitington2020-07-318-1151/+1178
| | | |
| | * | Better indentation for moreLabels.mli patchesJohn Whitington2020-07-311-12/+12
| | | |
| | * | Labeled and unlabeled @sinces automaticallyJohn Whitington2020-07-308-43/+78
| | | |
| | * | Fix smaller review comments from @dra27John Whitington2020-07-3010-60/+59
| | | |
| | * | Tildes back in labeled modulesJohn Whitington2020-07-299-131/+131
| | | |
| | * | Tilde removal in place. Now will put them back in.John Whitington2020-07-293-40/+37
| | | |
| | * | check-typo fixesJohn Whitington2020-07-273-3/+6
| | | |
| | * | Fix tools/unlabel to deal with Hashtbl injectivityJohn Whitington2020-07-271-1/+1
| | | |
| | * | Restore docstring variable bracketsJohn Whitington2020-07-272-2/+2
| | | |
| | * | Fix injectivity typeJohn Whitington2020-07-273-3/+3
| | | |
| | * | Merge branch 'trunk' of https://github.com/johnwhitington/ocaml into trunkJohn Whitington2020-07-2713-71/+129
| | |\ \
| | | * \ Merge branch 'trunk' into trunkJohn Whitington2020-07-2716-73/+152
| | | |\ \
| | * | | | Restore Hashtbl.rebuild in .mli, fix docstringJohn Whitington2020-07-273-6/+54
| | |/ / /
| | * | | Resolving conflicts with injectivity workJohn Whitington2020-07-275-6/+6
| | | | |
| | * | | Replacing {!X.y} in doc comments with {!y}John Whitington2020-07-2715-214/+214
| | | | |
| | * | | Added injectivity annots back (clash with GPR9781)John Whitington2020-07-235-9/+9
| | | | |
| | * | | Match documentation and labelsJohn Whitington2020-07-197-124/+127
| | | | |
| | * | | Generate moreLabels.mli programaticallyJohn Whitington2020-07-182-203/+1156
| | | | |
| | * | | Make hashtbl.mli / set.mli / map.mli from labeledJohn Whitington2020-07-186-2/+1169
| | | | |
| | * | | More check-typo fixesJohn Whitington2020-07-083-4/+2
| | | | |
| | * | | Fixes per travis check-typo and travis changesJohn Whitington2020-07-086-14/+36
| | | | |
| | * | | Better warning for developersJohn Whitington2020-07-084-8/+24
| | | | |
| | * | | Restore String.prefix/suffix status quo anteJohn Whitington2020-07-084-7/+7
| | | | |
| | * | | Unify labeled and unlabeled Standard Library modulesJohn Whitington2020-07-0710-565/+925
| | | | |
* | | | | Merge commit 'ba0a9c2ce8adb7e4e4c9c5d0197dc6366c9bfcd4' into ↵Tom Kelly2021-03-053-0/+32
|\ \ \ \ \ | |/ / / / | | | | | | | | | | parallel_minor_gc_4_12