# Changelog
All notable changes to this project will be documented in this file.

The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## [Unreleased]

### Added
- Support Coq 8.10, 8.11

### Removed
- No longer support Coq <= 8.9

## [0.1.1] - 2019-11-18
### Added
- Support Coq 8.9

### Removed
- No longer support Coq <= 8.8

## [0.1.0] - 2019-04-16
### Added
- [PrintingEffect] module, including [print] and [print_id] methods.

[Unreleased]: https://github.com/coq-community/reduction-effects/compare/v0.1.1...master
[0.1.1]: https://github.com/coq-community/reduction-effects/compare/v0.1.0...v0.1.1
[0.1.0]: https://github.com/coq-community/reduction-effects/releases/tag/v0.1.0
