miTLS 0.8.0 2014-10-01
  * TLS library
    * Refactor some code to ease F* migration
    * Rework DH group and element checking
	  Efficient cache-based checks on groups
	  Add checks for prime and group size
    * Enable experimental implementation of extended master secret extension
  * Project management
    * Move to VS2013

miTLS 0.7.0 2014-08-20
  * TLS library
    * Refactor handshake-related modules
    * Add support for session-hash and extended master secret computation

miTLS 0.1.3 2013-11-21
  * TLS library
    * Added support for AEAD_GCM
    * More modular extension handling mechanism

miTLS 0.1.2 2013-03-19
  * TLS library
    * Optimize memory usage
      The stream of exchanged data is truly ghost, only stored in ideal functionality
    * Improve cryptographic provider handling
      Add runtime support for different providers
      Add .NET and SSLeay as providers
  * HTTP server
    * Improve support for WSGI interface
    * Fix bugs

miTLS 0.1.1 2013-02-11
  * Initial public release
