Merge pull request #1159 from paulkoerbitz/fix/1047-repl-doc-for-typeclasses
Add removal of :info to CHANGELOG
commit44179430791f83e646fbef887e5b390dea481970
authorraichoo <raichoo@googlemail.com>
dateThu 1 May 2014, 18:41 (12 years ago)
parenta726ae74c1573e
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