@@ -5,6 +5,11 @@
5+ Idris now checks the list of packages specified at the command line
5+ Idris now checks the list of packages specified at the command line
6 against those installed. If there is a mismatch Idris will complain.
6 against those installed. If there is a mismatch Idris will complain.
8+## Miscellaneous Updates
10++ Documentation updates for the new `Control.ST` library
11++ Various stability/efficiency fixes
8# New in 0.99.1:
13# New in 0.99.1:
10## Language updates
15## Language updates