Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 28, 2019

• Merge pull request #8 from coq-io/review-erik-martin-dorel

  Show description for 7497be1
  clarus

  authored
  7497be1

  Copy full SHA for 7497be1

• Review from @erikmd

  clarus

  committed
  b36a5b4

  Copy full SHA for b36a5b4

Commits on Jul 30, 2019

• Fix url

  clarus

  authored
  bd97336

  Copy full SHA for bd97336

• Fix package logpath

  clarus

  committed
  b922ffb

  Copy full SHA for b922ffb

Commits on Jul 26, 2019

• Explicit plaform which sould be supported

  clarus

  committed
  2135e79

  Copy full SHA for 2135e79

Commits on Jul 25, 2019

• Merge pull request #6 from coq-io/without-the-ocaml-code

  Show description for 96b2fc7
  clarus

  authored
  96b2fc7

  Copy full SHA for 96b2fc7

• Remove the ocaml/ folder and update Travis

  clarus

  committed
  19a0c26

  Copy full SHA for 19a0c26

Commits on Jul 23, 2019

• Merge pull request #5 from coq-io/add-travis

  Show description for cd7a96a
  clarus

  authored
  cd7a96a

  Copy full SHA for cd7a96a

• Add Travis beacon

  clarus

  committed
  1515803

  Copy full SHA for 1515803

• Fix typo

  clarus

  committed
  73b599f

  Copy full SHA for 73b599f

• Move opam file to the root to be accepted by opam

  clarus

  committed
  f273dbd

  Copy full SHA for f273dbd

• Add Travis file

  clarus

  committed
  193f290

  Copy full SHA for 193f290

• Remove specific ignore rule

  clarus

  committed
  9b48ad1

  Copy full SHA for 9b48ad1

• Add logo

  clarus

  authored
  04d00e8

  Copy full SHA for 04d00e8

• Merge pull request #4 from coq-io/grouped-io-module

  Show description for 8e0a38f
  clarus

  authored
  8e0a38f

  Copy full SHA for 8e0a38f

• Add informations about the sub-package

  clarus

  committed
  52c2483

  Copy full SHA for 52c2483

• Import the io-system-ocaml project

  clarus

  committed
  03f79d7

  Copy full SHA for 03f79d7

• Upgrade to the new coq-io API

  clarus

  committed
  51a354d

  Copy full SHA for 51a354d

• Another typo fix

  

  relrod

  authored and

  clarus

  committed
  7651ee7

  Copy full SHA for 7651ee7

• Fix typo in readme code snippet

  

  relrod

  authored and

  clarus

  committed
  7c9b3b9

  Copy full SHA for 7c9b3b9

• Update README.md

  clarus

  committed
  1cbdf63

  Copy full SHA for 1cbdf63

• Update README.md

  clarus

  committed
  c1c8efb

  Copy full SHA for c1c8efb

Commits on Jul 4, 2015

• Fixed error function

  clarus

  committed
  0affdf5

  Copy full SHA for 0affdf5

• Extraction for C.I.t added

  clarus

  committed
  60a35c1

  Copy full SHA for 60a35c1

Commits on Jul 3, 2015

• Update to the new OPAM repo urls

  clarus

  committed
  601ad88

  Copy full SHA for 601ad88

Commits on Jun 22, 2015

• Update to the new Run

  clarus

  committed
  d380f5c

  Copy full SHA for d380f5c

Commits on Jun 16, 2015

• Update README.md

  clarus

  committed
  4cf16fc

  Copy full SHA for 4cf16fc

Commits on May 10, 2015

• Merge branch 'master' of github.com:clarus/io-system

  clarus

  committed
  a9539c8

  Copy full SHA for a9539c8

• s/run/.../

  clarus

  committed
  bc40fe0

  Copy full SHA for bc40fe0

• Update README.md

  clarus

  committed
  1713d63

  Copy full SHA for 1713d63

• Merge pull request #1 from gitter-badger/gitter-badge

  Show description for caf01ca
  clarus

  committed
  caf01ca

  Copy full SHA for caf01ca

• Added Gitter badge

  gitter-badger

  committed
  7d7efbe

  Copy full SHA for 7d7efbe

• s/Spec/Run/

  clarus

  committed
  b167976

  Copy full SHA for b167976

Commits on Apr 28, 2015

• Update to the new io library

  clarus

  committed
  e1dd117

  Copy full SHA for e1dd117

Commits on Mar 23, 2015

• s/Run/Spec

  clarus

  committed
  4d12ebc

  Copy full SHA for 4d12ebc

Pagination

Previous

Next