2.4.1

• compatibility with coq-io.4.0.0;
• Travis CI infrastructure.

2.4.0

Fixed error function

2.3.0

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

2.2.0

s/Run/Spec

2.1.0

Concurrency.

2.0.0

Better hello world

1.0.0

Fix