@@ -1,5 +1,6 @@
1New in 0.9.18:
1New in 0.9.18:
2--------------
2--------------
3+* GHC 7.10 compatibility
3* Add support for bundled toolchains.
4* Add support for bundled toolchains.
4* Strings are now UTF8 encoded in the default back end
5* Strings are now UTF8 encoded in the default back end
5* Idris source files are now assumed to be in UTF8, regardless of locale
6* Idris source files are now assumed to be in UTF8, regardless of locale