@@ -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
6Internal changes
7Internal changes