@@ -1,5 +1,7 @@
1New in 0.9.19:
1New in 0.9.19:
2--------------
2--------------
3+* The Idris Reference manual has been fleshed out with content originally found
3* The Show class has been moved into Prelude.Show and augmented with the method
5* The Show class has been moved into Prelude.Show and augmented with the method
4 showPrec, which allows correct parenthesization of showed terms. This comes
6 showPrec, which allows correct parenthesization of showed terms. This comes
5 with the type Prec of precedences and a few helper functions.
7 with the type Prec of precedences and a few helper functions.
@@ -16,8 +18,8 @@ New in 0.9.18:
16 tested sufficiently, and lack a maintainer)
18 tested sufficiently, and lack a maintainer)
17 + Float has been renamed 'Double' (Float is defined in the Prelude for
19 + Float has been renamed 'Double' (Float is defined in the Prelude for
18 compatibility)
20 compatibility)
19− + Externally defined primitives and operations now supported with
21+ + Externally defined primitives and operations now supported with
20− '%extern' directive, allowing back ends to define their own special
22+ '%extern' directive, allowing back ends to define their own special
21 purpose primitives
23 purpose primitives
22 + Ptr and ManagedPtr have been removed and replaced with external primitives
24 + Ptr and ManagedPtr have been removed and replaced with external primitives
23* Add %hint function annotation, which allows functions to be used as
25* Add %hint function annotation, which allows functions to be used as