Update CHANGELOG/CONTRIBUTORS
commit9c3b457677a8d3812f776443b62bb5c94b3a6c45
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSun 20 Apr 2014, 16:53 (13 years ago)
parent35a6062
CHANGELOG+4
@@ -3,6 +3,10 @@ New in 0.9.13:
33* IDE support for retrieving structured information about metavariables
44* Experimental Bits support for JavaScript
55
6+Internal changes
7+
8+* New implementation of erasure
9+
610New in 0.9.12:
711--------------
812
CONTRIBUTORS+4−3
@@ -10,22 +10,23 @@ Jason Dagit
1010Simon Fowler
1111Cezar Ionescu
1212Irene Knapp
13+Shea Levy
1314Mathnerd314
1415Hannes Mehnert
1516Mekeor Melire
1617Melissa Mozifian
1718Dominic Mulligan
1819Jan de Muijnck-Hughes
19−raichoo
2020Tom Prince
21+raichoo
22+Reynir Reynisson
2123Seo Sanghyeon
2224Benjamin Saunders
2325startling
2426Chetan T
27+Matus Tejiscak
2528Dirk Ullrich
2629Leif Warner
2730Daniel Waterworth
2831Jonas Westerlund
29−Reynir Reynisson
30−Shea Levy
3132