@@ -20,6 +20,7 @@ New in 0.9.15:
20 compiler distribution only ships with the C and JavaScript backends.
20 compiler distribution only ships with the C and JavaScript backends.
21* New REPL command :printdef displays the internal definition of a name
21* New REPL command :printdef displays the internal definition of a name
22* New REPL command :pprint pretty-prints a definition or term with LaTeX or HTML highlighting
22* New REPL command :pprint pretty-prints a definition or term with LaTeX or HTML highlighting
23+* Naming of data and type constructors is made consistent across the standard library (see #1516)
24New in 0.9.14:
25New in 0.9.14:
25--------------
26--------------