aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterRearrange types to support the new injectivity annotations in Map.SJeremy Yallop6 years
 
TagDownloadAuthorAge
v0.8.5commit ec7a266a3a...Daniel Bünzli6 years
v0.8.4commit 393fdb939b...Daniel Bünzli6 years
v0.8.3commit 1a86b39343...Daniel Bünzli10 years
v0.8.2commit 2fa75bfc04...Daniel Bünzli10 years
v0.8.1commit 4eec718309...Daniel Bünzli10 years
v0.8.0commit 8ae7ada4ae...Daniel Bünzli10 years
v0.0.0commit 8315a9ce55...Daniel Bünzli11 years
 
AgeCommit messageAuthor
2020-08-08Rearrange types to support the new injectivity annotations in Map.SHEADv0.8.5masterJeremy Yallop
2020-06-18Ignore b0 stuff.Daniel Bünzli
2020-06-18Update change log.v0.8.4Daniel Bünzli
2020-06-18Get rid of one last `Pervasives` mention.Daniel Bünzli
2020-06-18Doc cleanup.Daniel Bünzli
2020-06-18Fix doc typos. Closes #16, closes #15.Daniel Bünzli
2020-06-18Handle Pervasives's deprecation.Daniel Bünzli
2020-06-18Require OCaml >= 4.05 and opam v2 metadata.Daniel Bünzli
2020-06-18Remove some watermarks.Daniel Bünzli
2020-06-18Switch to contributor based copyrights.Daniel Bünzli
[...]
generated by cgit v1.2.3 (git 2.46.0) at 2026-04-11 03:25:21 +0000