Add removal of :info to CHANGELOG
commit4c1573e44dfbd2f9f230780754c4a6a6fb0ff8af
authorPaul Koerbitz <paul.koerbitz@theppro.com>
dateThu 1 May 2014, 18:38 (12 years ago)
parenta726ae7
CHANGELOG+1
@@ -8,6 +8,7 @@ New in 0.9.13:
88* Many more of the basic functions and datatypes are documented.
99* Removed javascript lib in favor of idris-hackers/iQuery
1010* Specify codegen for :compile REPL command (e.g. :compile javascript program.js)
11+* Remove :info REPL command, subsume and enhance its functionality in the :doc command
1112
1213Internal changes
1314