Changelog for TLT

• 0.3.0 :: Significant refactoring, organizing the contents of the module @Test.TLT@ into submodules, with @Test.TLT@ only re-exporting the core functionality.

• 0.2.0 :: Divided the tlt function for running tests, to separate tltCore for just running tests from formatted output of test results. The former is intended for running TLT in other frameworks. Also prunes some unneeded dependencies.

• 0.1.0 :: First release. Patch 1 re-arranged documentation.

Unreleased changes

None in this version.