Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add Bigarray 'init' functions (#9779) | Jeremy Yallop | 2020-08-05 | 1 | -2/+86 |
* | Add some injectivity annotations to the standard library. | Jeremy Yallop | 2020-07-18 | 1 | -5/+5 |
* | Consistently use @raise tags in Stdlib docs (#8644) | Et7f3 | 2020-06-30 | 1 | -12/+18 |
* | Merge pull request #8826 from glondu/4.08-spelling-errors | Gabriel Scherer | 2019-07-29 | 1 | -1/+1 |
* | documentation: use Bigarray consistently (#2208) | Florian Angeletti | 2018-12-20 | 1 | -121/+121 |
* | Deprecate Pervasives (#1605) | Jérémie Dimino | 2018-08-27 | 1 | -3/+3 |
* | Integrate Bigarray documentation | Perry E. Metzger | 2018-05-10 | 1 | -4/+33 |
* | add @since annotations to stdlib/float.mli and stdlib/bigarray.mli | Damien Doligez | 2018-04-10 | 1 | -0/+2 |
* | Move bigarray to the stdlib (#1685) | Jérémie Dimino | 2018-04-09 | 1 | -0/+930 |