@@ -2,6 +2,7 @@ New in 0.9.13:
2--------------
2--------------
3* IDE support for retrieving structured information about metavariables
3* IDE support for retrieving structured information about metavariables
4* Experimental Bits support for JavaScript
4* Experimental Bits support for JavaScript
5+* IdrisDoc: a Haddock- and JavaDoc-like HTML documentation generator
6New in 0.9.12:
7New in 0.9.12:
7--------------
8--------------