# Revision history for inspection-testing

## 0.1 -- 2017-11-09

* Repackaged as inspection-testing

## 0.1.1  -- 2017-09-05

* Also run simplifier in stage 0

## 0.1  -- 2017-08-26

* Initial release to hackage

## 0  -- 2017-02-06

* Development of ghc-proofs commences