Commits

Breadcrumbs

History for

ontrunk

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 12, 2022

• CONTRIBUTING.md: list the maintainers

  gasche

  committedFeb 12, 2022
  bd19cf7

Commits on Jan 13, 2021

• Take suggestions into account.

  bschommer

  committedJan 13, 2021
  a4c02e1

Commits on Jan 12, 2021

• Move contributing of the stdlib into own file.

  bschommer

  committedJan 12, 2021
  cb309d9

Commits on Jan 5, 2021

• Reference html_man

  johnwhitington

  committedJan 5, 2021
  2f1f4e8

• Advise programmers to check manual after changes

  johnwhitington

  committedJan 5, 2021
  91a6ccb

Commits on Jan 4, 2021

• document check-typo in HACKING.adoc

  gasche

  committedJan 4, 2021
  372671c

Commits on Oct 1, 2019

• Optimization contributions should come with numbers

  alainfrisch

  committedOct 1, 2019
  28d5817

Commits on Mar 25, 2019

• Update CONTRIBUTING.md

  nojb

  committedMar 25, 2019
  3bbcbd6

Commits on Dec 7, 2018

• Add benchmarking section to CONTRIBUTING.md

  lthls

  committedDec 7, 2018
  457b9b9

Commits on Jun 30, 2018

• Supply a Git pre-commit hook for tools/check-typo

  dra27

  committedJun 30, 2018
  546dd12

Commits on Oct 25, 2017

• Shorten URLs as much possible.

  dra27

  committedOct 25, 2017
  6a2f161

Commits on Jul 24, 2017

• Describe workflow for contributions (ocaml#1260)

  alainfrisch

  committedJul 24, 2017
  5cb2b6a

Commits on Jun 12, 2017

• [minor] fix CONTRIBUTING.md formatting

  gasche

  committedJun 12, 2017
  2c4f801

Commits on Dec 8, 2016

• Clarify the order of non-PR Changelog entries

  emillon

  committedDec 8, 2016
  a4806d7

Commits on Nov 23, 2016

• HACKING.adoc: plenty of changes suggested by David Allsopp's review

  gasche

  committedNov 23, 2016
  b9f9d70

• split HACKING.adoc with parts in {parsing,typing}/HACKING.adoc

  gasche

  committedNov 23, 2016
  d7acff3

Commits on Jun 16, 2016

• Some words about contributing to the stdlib.

  alainfrisch

  committedJun 16, 2016
  18bc91a

Commits on Feb 12, 2016

• CONTRIBUTING: how to sign the CLA

  gasche

  committedFeb 12, 2016
  70770e6

Commits on Dec 9, 2015

• Adapt contribution guidelines to the fact that the manual is now part of the main repository.

  alainfrisch

  committedDec 9, 2015
  1534fe8

Commits on Oct 31, 2015

• Request that changelog entries maintain the order.

  yallop

  committedOct 31, 2015
  1028d0a

Commits on Oct 13, 2015

• CONTRIBUTING.md: add reference to tools/check-typo

  

  Damien Doligez

  committedOct 13, 2015
  b40c186

Commits on Oct 9, 2015

• fleshing out the CONTRIBUTING document

  gasche

  committedOct 9, 2015
  e60b6f4

• Add explanations on how to contribute

  gasche

  committedOct 9, 2015
  7619670

Loading