Change form of CHANGELOG
This new format divides updates into various categories, and makes it
much easier to write release notes. It's also useful to order by
approximate importance (but this is mostly subjective so not sure
it's worth trying too hard to do that.)
commitcf47310a418d99b061e1ab27ba8c114e231bbddb
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateTue 1 Sep 2015, 00:33 (11 years ago)
parent8472399
CHANGELOG+23
@@ -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+
124New in 0.9.19:
225--------------
326* The Idris Reference manual has been fleshed out with content originally found