Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge commit 'c10217818f22d5eab897523a52a23fdf93c482f6' into ↵ | Tom Kelly | 2021-03-05 | 1 | -1/+1 |
|\ | | | | | | | parallel_minor_gc_4_12 | ||||
| * | Merge pull request #9918 from OCamlPro-Coquera/trunk | Gabriel Scherer | 2020-09-15 | 1 | -1/+1 |
| |\ | | | | | | | Stdlib.Format: missing `since` annotation for formatter_out_functions | ||||
| | * | move since tag to type definition | Albin Coquereau | 2020-09-15 | 1 | -2/+1 |
| | | | |||||
| | * | Add a comment that out_indent is part of formatter_out_functions since ocaml ↵ | Albin Coquereau | 2020-09-15 | 1 | -0/+1 |
| | | | | | | | | | | | | 4.06.0 | ||||
* | | | Merge commit 'd0e983e2aacfc77643f042a11673a7582bbb3015' into ↵ | Tom Kelly | 2021-03-05 | 23 | -918/+4370 |
|\ \ \ | |/ / | | | | | | | parallel_minor_gc_4_12 | ||||
| * | | Merge pull request #9745 from johnwhitington/trunk | Florian Angeletti | 2020-09-15 | 23 | -918/+4370 |
| |\ \ | | |/ | |/| | Unify labeled and unlabeled Standard Library module interfaces | ||||
| | * | assoc -> assoc_opt | John Whitington | 2020-09-11 | 2 | -2/+2 |
| | | | |||||
| | * | Fix two little errors | John Whitington | 2020-09-11 | 4 | -8/+8 |
| | | | |||||
| | * | Fix reference to tools/unlabel | John Whitington | 2020-09-11 | 1 | -3/+4 |
| | | | |||||
| | * | Merge remote-tracking branch 'upstream/trunk' into trunk | John Whitington | 2020-09-11 | 19 | -15/+452 |
| | |\ | |||||
| | * | | Take account of GPR#9668 | John Whitington | 2020-09-10 | 2 | -0/+64 |
| | | | | |||||
| | * | | Rename tools/unlabel --> tools/sync_stdlib_docs | John Whitington | 2020-09-10 | 19 | -42/+48 |
| | | | | |||||
| | * | | Fix comment regarding NaN in Array.sort | John Whitington | 2020-09-10 | 2 | -6/+4 |
| | | | | |||||
| | * | | Adds readme to stdlib/templates | John Whitington | 2020-09-10 | 1 | -0/+3 |
| | | | | |||||
| | * | | "final" fixes | John Whitington | 2020-08-06 | 5 | -14/+20 |
| | | | | |||||
| | * | | Restore tilde-removal, other little fixes | John Whitington | 2020-08-05 | 2 | -19/+25 |
| | | | | |||||
| | * | | Compflags @since removal for .cmti files for odoc | John Whitington | 2020-08-05 | 1 | -0/+1 |
| | | | | |||||
| | * | | Float.Array(Labels) generated by tools/unlabel | John Whitington | 2020-08-05 | 3 | -40/+863 |
| | | | | |||||
| | * | | @since modifications only happen on labeled files | John Whitington | 2020-08-05 | 1 | -1/+2 |
| | | | | |||||
| | * | | remove double @sinces | John Whitington | 2020-08-03 | 8 | -60/+30 |
| | | | | |||||
| | * | | ~prefix fix | John Whitington | 2020-08-03 | 2 | -2/+2 |
| | | | | |||||
| | * | | Fix deprecations | John Whitington | 2020-08-03 | 6 | -30/+58 |
| | | | | |||||
| | * | | Tildes back in ~random parameter in Hashtbl.create | John Whitington | 2020-08-03 | 3 | -15/+15 |
| | | | | |||||
| | * | | Small fixes from @dra27's comments | John Whitington | 2020-08-03 | 4 | -8/+8 |
| | | | | |||||
| | * | | Fix label warnings | John Whitington | 2020-07-31 | 4 | -15/+15 |
| | | | | |||||
| | * | | Check-typo and indenting all done | John Whitington | 2020-07-31 | 8 | -1151/+1178 |
| | | | | |||||
| | * | | Better indentation for moreLabels.mli patches | John Whitington | 2020-07-31 | 1 | -12/+12 |
| | | | | |||||
| | * | | Labeled and unlabeled @sinces automatically | John Whitington | 2020-07-30 | 8 | -43/+78 |
| | | | | |||||
| | * | | Fix smaller review comments from @dra27 | John Whitington | 2020-07-30 | 10 | -60/+59 |
| | | | | |||||
| | * | | Tildes back in labeled modules | John Whitington | 2020-07-29 | 9 | -131/+131 |
| | | | | |||||
| | * | | Tilde removal in place. Now will put them back in. | John Whitington | 2020-07-29 | 3 | -40/+37 |
| | | | | |||||
| | * | | check-typo fixes | John Whitington | 2020-07-27 | 3 | -3/+6 |
| | | | | |||||
| | * | | Fix tools/unlabel to deal with Hashtbl injectivity | John Whitington | 2020-07-27 | 1 | -1/+1 |
| | | | | |||||
| | * | | Restore docstring variable brackets | John Whitington | 2020-07-27 | 2 | -2/+2 |
| | | | | |||||
| | * | | Fix injectivity type | John Whitington | 2020-07-27 | 3 | -3/+3 |
| | | | | |||||
| | * | | Merge branch 'trunk' of https://github.com/johnwhitington/ocaml into trunk | John Whitington | 2020-07-27 | 13 | -71/+129 |
| | |\ \ | |||||
| | | * \ | Merge branch 'trunk' into trunk | John Whitington | 2020-07-27 | 16 | -73/+152 |
| | | |\ \ | |||||
| | * | | | | Restore Hashtbl.rebuild in .mli, fix docstring | John Whitington | 2020-07-27 | 3 | -6/+54 |
| | |/ / / | |||||
| | * | | | Resolving conflicts with injectivity work | John Whitington | 2020-07-27 | 5 | -6/+6 |
| | | | | | |||||
| | * | | | Replacing {!X.y} in doc comments with {!y} | John Whitington | 2020-07-27 | 15 | -214/+214 |
| | | | | | |||||
| | * | | | Added injectivity annots back (clash with GPR9781) | John Whitington | 2020-07-23 | 5 | -9/+9 |
| | | | | | |||||
| | * | | | Match documentation and labels | John Whitington | 2020-07-19 | 7 | -124/+127 |
| | | | | | |||||
| | * | | | Generate moreLabels.mli programatically | John Whitington | 2020-07-18 | 2 | -203/+1156 |
| | | | | | |||||
| | * | | | Make hashtbl.mli / set.mli / map.mli from labeled | John Whitington | 2020-07-18 | 6 | -2/+1169 |
| | | | | | |||||
| | * | | | More check-typo fixes | John Whitington | 2020-07-08 | 3 | -4/+2 |
| | | | | | |||||
| | * | | | Fixes per travis check-typo and travis changes | John Whitington | 2020-07-08 | 6 | -14/+36 |
| | | | | | |||||
| | * | | | Better warning for developers | John Whitington | 2020-07-08 | 4 | -8/+24 |
| | | | | | |||||
| | * | | | Restore String.prefix/suffix status quo ante | John Whitington | 2020-07-08 | 4 | -7/+7 |
| | | | | | |||||
| | * | | | Unify labeled and unlabeled Standard Library modules | John Whitington | 2020-07-07 | 10 | -565/+925 |
| | | | | | |||||
* | | | | | Merge commit 'ba0a9c2ce8adb7e4e4c9c5d0197dc6366c9bfcd4' into ↵ | Tom Kelly | 2021-03-05 | 3 | -0/+32 |
|\ \ \ \ \ | |/ / / / | | | | | | | | | | | parallel_minor_gc_4_12 |