# Revision history for ghc-proofs

## 0.1  -- 2017-08-26

* Initial release to hackage

## 0  -- 2017-02-06

* Development commences