git.iko.soy/Idris-dev
on master help sign in
Update CHANGELOG for metavars in IDESlave
8374804David Raymond Christiansen
CHANGELOG+4
compare with master
unifiedsplit
@@ -1,3 +1,7 @@
1+New in 0.9.13:
2+--------------
3+* IDE support for retrieving structured information about metavariables
4+
1New in 0.9.12:
5New in 0.9.12:
2--------------
6--------------
3
7