Commits

Branch selector

 master

User selector

dra27

Datepicker

All time

Commit History

Commits on Jun 28, 2021

• Merge pull request #37 from dra27/opam-file

  Show description for ab23e3a
  dra27

  authored
  ab23e3a

Commits on May 25, 2021

• Correct opam file dune subst command

  dra27

  committed
  af69feb

• Use SPDX-compatible licence name

  dra27

  committed
  115ef69

Commits on May 24, 2021

• Release 5.1.2

  dra27

  committed
  4496a7f

• Merge pull request #34 from smorimoto/ocamlformat.0.18.0

  Show description for fbfa38f
  dra27

  authored
  fbfa38f

• Update Changes

  dra27

  committed
  780429b

• Merge pull request #36 from smorimoto/macos-x11

  Show description for 1f7a610
  dra27

  authored
  1f7a610

Commits on Feb 2, 2021

• Update Jeremie's GitHub handle

  dra27

  committed
  7643bef

• Update CHANGES.md

  dra27

  committed
  9a869c5

• Merge pull request #30 from smorimoto/ocamlformat.0.16.0

  Show description for f08bfe2
  dra27

  authored
  f08bfe2

Commits on Dec 24, 2020

• Merge pull request #28 from dra27/win32-safe-string

  Show description for 237fb4c
  dra27

  authored
  237fb4c

• Remove duplicate definitions

  dra27

  committed
  3da7723

• Safe string updates for win32graph

  dra27

  committed
  8b0aa60

• Merge pull request #29 from dra27/gha

  Show description for 2ad892d
  dra27

  authored
  2ad892d

• Install XQuartz on macOS

  dra27

  committed
  aeb45ac

• GitHub Actions Tests

  dra27

  committed
  1e80119

Commits on Dec 23, 2020

• Merge pull request #20 from ocaml/fix-win-deps

  Show description for 8f8ab8a
  dra27

  authored
  8f8ab8a

• Update CHANGES.md

  dra27

  committed
  c9e653b

Commits on Sep 18, 2019

• Merge pull request #13 from madroach/master

  Show description for d334c02
  dra27

  authored
  d334c02

Commits on Aug 6, 2019

• Prepare for 4.09.0

  

  dra27

  authored and

  jeremiedimino

  committed
  311548d

Commits on Feb 28, 2019

• Remove unnecessary executable bit from sources (#2270)

  Show description for d059c8f
  

  dra27

  authored and

  xavierleroy

  committed
  d059c8f

Commits on Jun 14, 2018

• Whitespace and overlong line fixes.

  dra27

  committed
  1bde5da

Commits on Feb 24, 2018

• Fix Unicode mismatch in win32graph (#1629)

  Show description for f061542
  

  dra27

  authored and

  xavierleroy

  committed
  f061542

Commits on Apr 9, 2017

• Fix missing types in win32graph/draw.c

  dra27

  committed
  c06f7d0

• Fix missing types in win32graph/draw.c

  dra27

  committed
  19f4bc3

Commits on Dec 14, 2016

• make alldepend

  dra27

  committed
  d4ed21e

Commits on Jul 10, 2016

• Graphics.close_graph crashes 64-bit Windows ports

  Show description for b1345eb
  dra27

  committed
  b1345eb

Commits on Jan 25, 2016

• Minor corrections to clean targets

  dra27

  committed
  ad8b8df