git.iko.soy/Idris-dev
on master help sign in
Add test running to CHANGELOG
6ea7202David Raymond Christiansen
CHANGELOG+6
compare with master
unifiedsplit
@@ -1,3 +1,9 @@
1+New in 0.9.14:
2+--------------
3+* Support for running tests for a package with the tests section of .ipkg files and the
4+ --testpkg command-line option
5+
6+
1New in 0.9.13:
7New in 0.9.13:
2--------------
8--------------
3* IDE support for retrieving structured information about metavariables
9* IDE support for retrieving structured information about metavariables