git.iko.soy/Idris-dev
on master help sign in
Change form of CHANGELOG
cf47310Edwin Brady
CHANGELOG+23
compare with master
unifiedsplit
@@ -1,3 +1,26 @@
1+New in 0.9.20:
2+==============
3+
4+Language updates
5+----------------
6+
7+[None so far]
8+
9+Library updates
10+---------------
11+
12+[None so far]
13+
14+Tool updates
15+------------
16+
17+[None so far]
18+
19+Miscellaneous updates
20+---------------------
21+
22+[None so far]
23+
1New in 0.9.19:
24New in 0.9.19:
2--------------
25--------------
3* The Idris Reference manual has been fleshed out with content originally found
26* The Idris Reference manual has been fleshed out with content originally found