@@ -8,6 +8,7 @@ New in 0.9.13:
8* Many more of the basic functions and datatypes are documented.
8* Many more of the basic functions and datatypes are documented.
9* Removed javascript lib in favor of idris-hackers/iQuery
9* Removed javascript lib in favor of idris-hackers/iQuery
10* Specify codegen for :compile REPL command (e.g. :compile javascript program.js)
10* 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
12Internal changes
13Internal changes