Added update about renaming to CHANGELOG
commiteb9ce2e5d0bd4f0089d8019e2bdc4dfafec372af
authorAhmad Salim Al-Sibahi <asal@itu.dk>
dateThu 25 Sep 2014, 20:50 (12 years ago)
parent8f54aaf
CHANGELOG+1
@@ -20,6 +20,7 @@ New in 0.9.15:
2020 compiler distribution only ships with the C and JavaScript backends.
2121* New REPL command :printdef displays the internal definition of a name
2222* 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)
2324
2425New in 0.9.14:
2526--------------